uDiary

◆ [Scheme] T (=K), F コンビネータ

; tf.scm
(define true
  (lambda (x) (lambda (y) x)))

(define false
  (lambda (x) (lambda (y) y)))

(define x 0)
(display ((true 1) 2))
(display ((false 1) 2))

% iscm0 < tf.scm
12

おお、教科書通り、なのはいいとして……、これ、 レキシカル・スコープが前提になってませんか。

あ、いや、レキシカル・スコープは Scheme が始めて、のちに Common Lisp でも採用されて…… なんて話を聞き齧っていたような気がするんですけど。 λ計算の教科書が既にレキシカル・スコープじゃん、とか。

勘違いしている？＞おれ

◆ 名を付けて縛る、まさしく呪（しゅ）だよ

私の中にいる、野村萬斎の顔をした晴明がいいました。

http://www.hyuki.com/d/200803.html#i20080311135359

いえね、「自分の状態をマイナスに引き下げようとする声」に名前をつけて、 「立ち去れ」と命ずる行為がまさに。

◆ [本]復刊ドットコムに投票してみた

http://www.fukkan.com/fk/VoteDetail?no=8315