Advertisement
Guest User

metafact.scm

a guest
Feb 22nd, 2019
60
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Scheme 0.17 KB | None | 0 0
  1. (define (Y f) (lambda (n) ((f (Y f)) n)))
  2. (define metafact (lambda (self) (lambda (n) (if (< n 2) 1 (* n (self (- n 1)))))))
  3. (define fact (Y metafact))
  4. (equal? (fact 5) 120)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement