matarillo https://blog.hatena.ne.jp/matarillo/ HaskellとF#について書くmatarilloの日記（アーカイブ） https://functional-matarillo.hatenadiary.jp/ 12.1 導入 一般的な命令型言語は、同じ式に対する評価順序が違うと結果が変わることがあるが、Haskellではどのような順序で評価しても(停止するのでない限り)同じ結果が得られる。 ぐぐってみたら、「チャーチ・ロッサー性」というのかな？ 12.2 評価戦略 簡約可能式の簡約方法。 最内簡約最も内側で最も左の簡約可能式から簡約する。λ式の内部を除いた最内簡約が値渡し。 最外簡約最も外側で最も左の簡約可能式から簡約する。λ式の内部を除いた最外簡約が名前渡し。 最外簡約を選んだとしても、関数が正格だと、引数を評価してからでないと値が決まらない。 （追記）なにか違和感があると思って落ち着いて考えた。… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffunctional-matarillo.hatenadiary.jp%2Fentry%2F2012%2F05%2F06%2F151346" title="第12章 遅延評価 #1 - HaskellとF#について書くmatarilloの日記（アーカイブ）" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-05-06 15:13:46 rich https://functional-matarillo.hatenadiary.jp/entry/2012/05/06/151346 1.0 100%