関数型プログラミング言語Haskellat TECH関数型プログラミング言語Haskell - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト50:デフォルトの名無しさん 02/03/13 09:04 あーそうだ haskell もやらなきゃ.. 51:デフォルトの名無しさん 02/03/19 22:40 質問ですいません。 「lambda lifter」って、どういう処理なんでしょうか？ 局所関数(関数内の関数)を展開して外側の関数と一体化する処理らしいですけど 実行速度改善のための最適化処理の一種だと考えてよいのでしょうか？ http://citeseer.nj.nec.com/lester91modular.html それと関数型言語にある代表的な最適化処理があれば教えてください。 52:デフォルトの名無しさん 02/03/19 22:42 >>51 Cのインラインと違うの？ 53:デフォルトの名無しさん 02/03/19 23:03 >>52 実行時までどんな関数が来るのか分からない らむちゃんなんだから全然違うだろ。 54:無名λ式 02/03/20 00:44 >>51 lambda liftingというのは、 一言で言えば、自由変数を除去する変換の事です。 ・funarg問題がなくなる ・環境の扱いが簡単になる ・lazinessの境界がはっきりする などなどの利点があります。 lifterはその変換器の名前です。 Super combinatorというのありました。(これは変換後のλ式の名前) Prentice-Hallから処理系実装の本が出ていましたが、 > それと関数型言語にある代表的な最適化処理があれば教えてください。 こういう観点で非常にいい読物だと思います。 # 今やMicrosoft Research(CLI!)のSimon P. Jonesのが一冊、 # もう一冊はHughesじゃなかったかな? 教科書になって答えがWebで配布された奴。 驚きなのはcombinatorが非常に古い概念であるにも関わらず、 λ計算において非常に本質的な役割を担うことです。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch