blob: 18bbd8b9164c1b007431c0ce45dcc17e66a6dd91 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
(defun Y (f)
(funcall
(lambda (g) (funcall g g))
(lambda (h)
(funcall f (lambda args (apply (funcall h h) args))))))
(defun fibo-impl (self)
(lambda (n)
(if (<= n 2)
1
(+ (funcall self (- n 1)) (funcall self (- n 2))))))
(defvar fibo (Y #'fibo-impl))
(assert (= 55 (funcall fibo 10)))
(defun generate-counter (init)
(let ((i init))
(lambda ()
(setq i (+ 1 i))
i)))
(let ((c (generate-counter 0)))
(assert (= 1 (funcall c)))
(assert (= 2 (funcall c)))
(assert (= 3 (funcall c))))
|
