素人くさいSICP読書会

行って来ました。とりあえず、自分にとって濃いめなトークができて満足。

id:thataさんが、「正規順序はHaskellみたいな評価順序。」と言ってて、そういえばHaskellって非正格な評価ともいわれるけどどう違うのだろ、と少し気になって調べてみた。

遅延評価（必要渡し）等と訳される。これらは、normal order evaluation(reduction)（正規順序簡約）とか、leftmost-outermost evaluation(reduction)（最左最外簡約）とかnon-strict evaluation（非正格評価）と呼ばれる。

http://sky.zero.ad.jp/~zaa54437/programming/concepts/index3.htm#e1

ということは、本質的には違いはないのかな?

最左最外簡約とも呼ばれるのか。評価順序って、結構奥深いですね。