faith_and_brave https://blog.hatena.ne.jp/faith_and_brave/ Faith and Brave - C++で遊ぼう https://faithandbrave.hateblo.jp/ Haskell いま『ふつうのHaskellプログラミング』で Haskell を勉強しています ちょっと難しくなってきたのでメモ square n = n * n この square 関数に引数を渡して、関数を評価した場合 square (1 + 3) 以下のように置き換えられる → (1 + 3) * (1 + 3) → 4 * 4 → 16 このように、関数の適用を定義で置き換える作業を簡約と言います ただし、 Java の場合は以下のように評価されます square (1 + 3) → square (4) → 4 * 4 → 16 このような評価方法を最内簡約と言いますHaskell の評価方法はそ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffaithandbrave.hateblo.jp%2Fentry%2F20080714%2F1216026340" title=" 簡約(reduction)と参照透明性(referential transparency) - Faith and Brave - C++で遊ぼう" 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 2008-07-14 18:05:40 rich https://faithandbrave.hateblo.jp/entry/20080714/1216026340 1.0 100%