E_Mattsan https://blog.hatena.ne.jp/E_Mattsan/ エンジニアのソフトウェア的愛情 https://blog.emattsan.org/ C++ ねた C++のテンプレートで。 Haskellのばあい 基本に立ち返って、まずはHaskellのばあい。 Haskellは基本的に遅延評価なので、不適切な式が含まれていても評価されないのであれば全体としては正しく評価してくれます。 ここでinfinityを評価してしまうと無限再帰呼び出しになってしまいますが、if_に与えられるconditionがFalseであるかぎりinfinityは評価さません。結果としてif_は値を返すことができます。 if_ condition m n = if condition then m else n infinity = infinity + 1 main = pr… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.emattsan.org%2Fentry%2F20140709%2F1404913456" title=" 遅延評価if - エンジニアのソフトウェア的愛情" 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 2014-07-09 22:44:16 rich https://blog.emattsan.org/entry/20140709/1404913456 1.0 100%