- 関数型プログラミング言語Haskell Part26
360 ：デフォルトの名無しさん[]：2014/11/06(木) 11:46:39.88 ID:el8FQLIt - >>356
メモ化のことを言ってるんですね。
計算を同じサンクに結びつければ、計算は無駄に行われない。と。
ところで昨日あれから考えてて、もっと良い例を思いついたんですけど、
lazy :: a -> a
lazy a = (\() -> a) $ ()
を使えば、正格データを遅延に変えられますよね？
happyBirthDay :: Text.Strict
happyBirthDay = "Happy Birth Day " ++ lazy "to me..."
>> print $ head 16 happyBirthDay
Happy Birth Day
理解がバージョンアップされました。
「Haskellではナントカ生成機はナントカを弱頭部標準形に包むだけで実現できる。生成機を作る目的でレガシー言語のようにIO計算を作る必要はない。呼び出しをサンクにまとめればOK.」
|