xanxys https://blog.hatena.ne.jp/xanxys/ ⊥=⊥ https://xanxys.hatenablog.jp/ さて、いわゆる関数型言語の基礎となっているλ計算ですが、一部の言語(eg. Haskell)では厳しく副作用を禁止することでパワフルでありながら参照透過性を維持し、非正格な評価を可能にしています。*1こうするとうまく評価戦略を選べば*2、λ抽象でない正規形を持つ式は必ず有限時間で評価できて、無限データ構造が使えたりして大変嬉しい訳です。しかし、このような遅延評価を行う言語にはスペースリークの問題があって、例えばfoldl (+) 0 [1..n]等がO(n)のメモリを消費してしまったりします。大量のデータを扱うようなアプリケーションではこれは非常に深刻な問題で、「一行コード追加したらメモリ使い… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxanxys.hatenablog.jp%2Fentry%2F20110531%2F1306844853" title=" λ計算の乱択評価 - ⊥=⊥" 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 2011-05-31 21:27:33 rich https://xanxys.hatenablog.jp/entry/20110531/1306844853 1.0 100%