宿題はやるな - Neunomizuの日記

僕/私はどう評価されているの？

僕/私はどう評価されているのだろうか？

人間社会に生きていれば当たり前に感じることですよね？

容姿，能力，家柄，学歴等々，人によって人をどこから，どのように評価するか千差万別です

それはプログラミング言語とて同様！

プログラミング言語も，プログラミング言語によって，式を評価をする順番は違います

自分がどう評価されているか知る前に，少し落ち着いてプログラミング言語において式がどのように評価されるかを見てみましょう

評価の仕方は大きく分けて2つです

前者(先行評価)は式を先に評価し，後者(遅延評価)は式が必要になるまで評価しません

要するに，夏休みが始まる前に宿題を終える人と，夏休み最終日まで宿題を溜める人です

溜める方がNormalなことから分かるように，人間は宿題を溜めるものだということです(いやlazyなのか？)

例えば，以下のようなSchemeのコードがあるとします

(define (p) (p)) ;; 無限に再帰する関数
(define (test x y)
    (if (= x 0) ;; xが0なら0を，それ以外はyを返す
    0
    y))
(test 0 (p))

もしこれが宿題を終わらせるタイプなら，式は以下のように評価され永遠に終わりません

(test 0 (p)) ;; ここがスタート
(test 0 (p)) ;; (p)を評価して(p)になる
(test 0 (p)) ;; (p)を評価して(p)
...

溜めるタイプの場合は次のように(if (= x 0))が評価されると，関数が0を返し終わります

(test 0 (p)) ;; ここがスタート
0 ;; 0を出力して終了

どっちが早いかどうかは時と場合によります

Schemeはapplicative-orderなので，式を先に評価してます(gaucheやracketなど自分の処理系で試してみるとわかります)

そのため，この関数は無限に終わりません

ということで，宿題を終わらせるととんでもないことになるということがわかりました(謎論理)

「宿題は(直前まで)やるな」ということが今回の教訓です

前回書いたときは寝ぼけていたので書こうと思っていることと反対のことを書いていました

「寝るべし」という教訓も得られました(適当)