For your amusement and edification, the following is a very simple interpreter for fractran
\nprograms which, in addition to running the program to generate its result also generates a trace
\nto show you how the program executed.
\n;; A Trivial Fractran Interpreter
\n;;
\n;; Copyright 2006 Mark C. Chu-Carroll
\n;; http:\/\/scienceblogs.com\/goodmath
\n;;
\n;; You’re welcome to do anything you want with this code as long
\n;; as you keep a copy of this header to identify the original source.
\n;;
\n;; This program runs a fractran program. A fractran program is a list
\n;; of fractions. The fractions are represented by a list of two integers:
\n;; the numerator, and the denominator. For example, the classic fractran
\n;; multiplication program could be written:
\n;; ((385 13) (13 21) (1 7) (3 11) (7 2) (1 3))
\n;; or:
\n;; (((* 7 11 5) 13) (13 (* 3 7)) (1 7) (3 11) (7 2) (1 3))
\n;;
\n;;
\n;; To run a program until it terminates, call (run-fractran program input).
\n;; This will return a list; the car of the list will be the result of
\n;; running the program, and the cdr will be a trace of the executions in the
\n;; form of a list of the fractions that ran at each step.
\n;;
\n;; To run a program for a specific maximum number of steps, call
\n;; (run-fractran-bounded program input maxsteps)
\n;;
\n(define (step-fractran fract int)
\n(if (equal? fract ()) int
\n(let ((fr (car fract)))
\n(if (= (remainder int (cadr fr)) 0)
\n(cons (\/ (* int (car fr)) (cadr fr))
\n(list fr))
\n(step-fractran (cdr fract) int)))))
\n(define (run-fractran fract int)
\n(let ((step-result (step-fractran fract int)))
\n(if (list? step-result)
\n(let ((new-int (car step-result))
\n(last-step (cadr step-result)))
\n(cons step-result (run-fractran fract new-int)))
\n(list int ))))
\n(define (run-fractran-bounded fract int bound)
\n(if (> bound 0)
\n(let ((step-result (step-fractran fract int)))
\n(if (list? step-result)
\n(let ((new-int (car step-result))
\n(last-step (cadr step-result)))
\n(cons step-result (run-fractran-bounded fract new-int (- bound 1))))
\n(list int)))
\n(list int)))
\n;; The mult program.
\n(define mult ‘((385 13) (13 21) (1 7) (3 11) (7 2) (1 3)))
\n;;
\n;; (run-fractran mult 432)
\n;; The primes program
\n(define primes ‘((17 91) (78 85) (19 51) (23 38) (29 33) (77 29) (95 23)
\n(77 19) (1 17) (11 13) (13 11) (15 2) (1 7) (55 1)))
\n;; (run-fractran-bounded primes 2 1000)
\n———-
\nCommenter Pseudonym has kindly provided a Haskell version in the comments, which was mangled by MTs comment formatting, so I’m adding a properly formatted version here. I think it’s a really interesting comparison to the scheme code above. The Haskell code is very nice; cleaner than my rather slapdash Scheme version. But overall, I think it’s a pretty good comparison – it gives you a sense of what the same basic code looks like in the two languages. Personally, I think the Haskell is clearer than the Scheme, even though the Scheme is my own code.
\nmodule Fractran where
\nimport Ratio
\nimport Data.Maybe
\nimport Control.Monad.Fix
\ntype Program = [Rational]
\nrunFractran :: [()] -> Program -> Integer -> [Integer]
\nrunFractran bound prog l
\n= step bound prog l
\nwhere
\nstep _ [] l = []
\nstep [] (f:fs) l
\n= []
\nstep (_:bound) (f:fs) l
\n= let p = f * fromIntegral l
\nin case denominator p of
\n1 -> let pi = numerator p
\nin pi : step bound prog pi
\n_ -> step bound fs l
\nfractran :: Program -> Integer -> [Integer]
\nfractran prog l
\n= runFractran (fix (():)) prog l
\nfractranBounded :: Int -> Program -> Integer -> [Integer]
\nfractranBounded b prog l
\n= runFractran (take b $ fix (():)) prog l
\nmult = [385%13, 13%21, 1%7, 3%11, 7%2, 1%3]
\nprimes = [17%91, 78%85, 19%51, 23%38, 29%33, 77%29, 95%23,
\n77%19, 1%17, 11%13, 13%11, 15%2, 1%7, 55%1]
\n— fractran mult (2^4 * 3^3)
\n— fractranBounded 1000 primes 2<\/p>\n","protected":false},"excerpt":{"rendered":"
For your amusement and edification, the following is a very simple interpreter for fractran programs which, in addition to running the program to generate its result also generates a trace to show you how the program executed. ;; A Trivial Fractran Interpreter ;; ;; Copyright 2006 Mark C. Chu-Carroll ;; http:\/\/scienceblogs.com\/goodmath ;; ;; You’re welcome […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[92],"tags":[],"class_list":["post-198","post","type-post","status-publish","format-standard","hentry","category-pathological-programming"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4lzZS-3c","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/198","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/comments?post=198"}],"version-history":[{"count":1,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/198\/revisions"}],"predecessor-version":[{"id":3832,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/198\/revisions\/3832"}],"wp:attachment":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/media?parent=198"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/categories?post=198"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/tags?post=198"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}