04/10/16 20:43:42
俺はHaskellのことは余りしらないんだけど、Haskellの言語仕様も
MLのように表示意味論（操作意味論でもいいけど）でformalに定義
されてるんじゃないの？
色々と仕様の背後にある意図を考えるのもいいけど、まずちゃんとした定義
を出してくれると素人には有難いなあ。言葉の定義も人によって違うみたいだし。
ちなみに
fがstrict <=> f(_|_) = _|_
lazy evaluation <=> λ計算でいうところのnormal reduction
ということでいいの？