Schemeでλ計算とか。 ;; Church-encoding of nat (define zero (lambda (f) (lambda (x) x))) (define (add-1 n) (lambda (f) (lambda (x) (f ((n f) x))))) ;; (add-1 zero) ->* (lambda (f) (lambda (x) (f x))) ;; (add-1 (add-1 zero)) ->* (lambda (f) …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。