The evolution of a Scheme programmer

Created:
Updated:


← Back to index

;; Studying Scheme in university or reading The Little Schemer (define factorial (lambda (n) (cond ((= n 0) 1) (else (* (factorial (- n 1)) n))))) ;; Newbie programmer, enjoys recursion and simplicity in life (define (factorial n) (if (zero? n) 1 (* n (factorial (sub1 n))))) ;; Hates functional programming and resents being taught Scheme in university (define (return x) x) (define (factorial n) (define result 0) (do ((counter 1 (add1 counter)) (product 1 (* counter product))) ((> counter (add1 n))) (set! result product)) (return result)) ;; SICP reader, appreciates helper procedures and understands the power of tail calls (define (fact-iter product counter max-count) (if (> counter max-count) product (fact-iter (* counter product) (add1 counter) max-count))) (define (factorial n) (fact-iter 1 1 n)) ;; Astute SICP reader, doesn't want to clutter the namespace (define (factorial n) (define (fact-aux product counter) (if (> counter n) product (fact-aux (* counter product) (add1 counter)))) (fact-aux 1 1 n)) ;; Adept programmer, getting a hang of the idioms (define (factorial n) (let loop ((product 1) (counter 1)) (if (> counter n) product (loop (* counter product) (add1 counter))))) ;; Came from a different functional language, sees patterns everywhere (define factorial (match-lambda (0 1) (n (* n (factorial (sub1 n)))))) ;; Really likes lists, carries around their own 300 line file of helper procedures (define (factorial n) (apply * (build-list n add1))) ;; Discovering different functional approaches and came across SRFI-1 (define (factorial n) (fold * 1 (iota 1 (add1 n)))) ;; Eagerly believes that the ideal solution can always be found in an SRFI (define (factorial n) (product-ec (: i 1 (add1 n)) i)) ;; Spoilt by Racket's macros (define (factorial n) (for/product ((i (in-range 1 (add1 n)))) i)) ;; Heard about the Y-combinator and went down a rabbithole (define factorial ((λ (f) ((λ (g) (f (λ (x) ((g g) x)))) (λ (g) (f (λ (x) ((g g) x)))))) (λ (f) (λ (n) (if (zero? n) 1 (* n (f (sub1 n)))))))) ;; Spent an idle weekend learning about Peano numerals and combinatory logic ;; Will forget about it all in a week and all this will become unreadable in two days (define Ω (λ (f) (f f))) (define S (λ (f) (λ (g) (λ (x) ((f x) (g x)))))) (define K (λ (x) (λ (y) x))) (define ι (λ (x) (x (S K)))) (define I (Ω ι)) (define Z (λ (f) (Ω (λ (x) (f (v) ((Ω x) v)))))) (define true (λ (a) (λ (b) a))) (define false (λ (a) (λ (b) b))) (define if (λ (p) (λ (a) (λ (b) ((p a) b))))) (define and (λ (p) (λ (q) ((p q) p)))) (define zero (λ (f) (λ (x) x))) (define add1 (λ (n) (λ (f) (λ (x) (f ((n f) x)))))) (define sub1 (λ (n) (λ (f) (λ (x) (((n (λ (g) (λ (h) (h (g f))))) (λ (u) x)) I))))) (define + (λ (m) (λ (n) (n (add1 m))))) (define * (λ (m) (λ (n) (λ (f) (m (n f)))))) (define zero? (λ (n) ((n (λ (x) false)) true))) (define <= (λ (m) (λ (n) (zero? ((- m) n))))) (define = (λ (m) (λ (n) ((and ((<= m) n)) ((<= n) m))))) (define factorial (λ (x) ((Z (λ (f) (λ (n) (((if (zero? n)) (add1 zero)) ((* n) (f (sub1 n))))))) x))) ;; Gone mad with power after discovering macros, likes -funroll-loops (define-syntax factorial (lambda (stx) (syntax-case stx () ((_ 0) #'1) ((_ n) #`(* n (factorial #,(sub1 (syntax->datum #'n)))))))) ;; Feels enlightened after learning about CPS but doesn't know what to do with this information (define (fact-cont n k) (if (= n 1) (k 1) (fact-cont (sub1 n) (lambda (x) (k (* n x)))))) (define (factorial n) (fact-cont n values)) ;; Overjoyed to see first-class continuations in Scheme, still doesn't know what to do with them (define (factorial n) (letrec ((f (lambda (n k) (if (= n 1) (k 1) (f (sub1 n) (lambda (ret) (k (* n ret)))))))) (call-with-current-continuation (lambda (k) (f n k))))) ;; Attempted to make their CPS procedures simpler, failed (define (factorial n) (define retry #f) (if (= n 1) (call-with-current-continuation (lambda (k) (set! retry k) 1)) (* n (factorial (sub1 n))))) ;; Concerned about wasted performance, really likes the word 'amortised' (define (memoise proc) (let ((table (make-hashtable equal-hash equal?))) (lambda args (hashtable-ref! table args (lambda () (apply proc args)))))) (define (factorial n) (define fact-iter (memoise (lambda (product counter) (if (> counter n) product (fact-iter (* counter product) (add1 counter)))))) (fact-iter 1 1)) ;; Lazy programmer (define-coroutine-generator (factorials) (let loop ((product 1) (counter 1)) (yield product) (loop (* product counter) (add1 counter)))) (define (factorial n) (car (generator->list (gindex factorials (generator n))))) ;; Lazier programmer (define factorials (stream-scan * 1 (stream-from 1))) (define (factorial n) (stream-ref factorials n)) ;; Laziest programmer (define factorial (dynamic-require 'math/number-theory 'factorial (lambda () (lambda (n) (error 'factorial "Cannot import library: ~a" 'math/number-theory)))))

Inspired by The Evolution of a Haskell Programmer.

Some implementations taken from Leo Uino's gist.

For a real-life implementation, see how Racket's math/number-theory does it here.