2007-07-06 [長年日記]
λ. Eager Haskell
最近、たまたま Eager Haskell というものの存在を知った。 積極評価が基本で、決められたリソースの上限を超えたら遅延評価にフォールバック。Haskellの意味論を変えること無しに、遅延評価の非効率性を避けることが出来る。これがあると例えば末尾再帰のときとかに嬉しいはず。
最近、たまたま Eager Haskell というものの存在を知った。 積極評価が基本で、決められたリソースの上限を超えたら遅延評価にフォールバック。Haskellの意味論を変えること無しに、遅延評価の非効率性を避けることが出来る。これがあると例えば末尾再帰のときとかに嬉しいはず。