08/01/16 23:13:01
自力では歯が立たなかったので下記を参考にやってみた。
URLﾘﾝｸ(www.unfindable.net)
;;不動点
(define (f x) `(',x ',x))
> (f 'x)
((quote x) (quote x))
> (f f)
((quote #<procedure:f>) (quote #<procedure:f>))
> (equal? (f f) (eval (f f)))
#t
> (equal? (f f) (eval (eval (eval (eval (eval (f f)))))))
#t
>
続く