Clean入門(15)：正格性 (http://www.geocities.jp/lethevert/clean/gettingStarted15.html) 正格性の記事を読んで、遅延評価が万能ではないと分かった。遅延評価では引数が後に評価されるので計算の中間式がメモリに展開されてしまう。計算するリストの要素…

Clean入門(14): 評価戦略 (http://www.geocities.jp/lethevert/clean/gettingStarted14.html) 評価戦略の記事を読んで遅延評価の仕組みがよく分かった。「最左最外簡約」という用語は分かりやすい。しかし、call-by-name(名前呼び)やcall-by-need(必要呼び)…

Clean入門: lethevertの純粋関数型言語Concurrent Clean覚え書き (http://www.geocities.jp/lethevert/clean/gettingStarted01.html) Clean言語の勉強をしているが、「Clean入門(12)：多相性・型クラス」あたりで急に難しくなった。やはり型に関する部分は難…