関数プログラムのプロモーション変換のための二手法の関係

書誌事項

タイトル別名
  • Relationship between two Approaches to the Promotional Transformation of Functional Programs
公開日
1996-03-26
公開者
一般社団法人情報処理学会

この論文をさがす

説明

関数プログラムでは, 関数の間で受け渡されるが最終結果には出現しない中間的なデータ構造を生成しないように, 関数合成をひとつの関数にプロモーションする(融合する)ことが, 効率改善にとって重要である. 補助引数あるいは蓄積引数を持つ関数に関してこの問題を解決するための手法として, "高階catamorphism"を用いる方法と, "媒介型"を導入することによるhylomorphismを用いる方法が研究されている. 本稿は, 補助引数を持つ関数の高階catamorphismによる融合操作は, 媒介型を用いた変換操作の枠組で説明することができることを, 簡単な具体例を通して示す.

収録刊行物

詳細情報 詳細情報について

  • CRID
    1573387452007492352
  • NII論文ID
    110002929510
  • NII書誌ID
    AN10485570
  • 本文言語コード
    ja
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ