結果型を変更可能な限定継続の模倣
スポンサーリンク
概要
- 論文の詳細を見る
我々は型付きの限定継続オペレータの性質について述べる.本発表はshift/resetと呼ばれる限定継続オペレータを対象とする.shift/resetは,プログラムの評価文脈の一部を関数としてキャプチャし利用できるようにするオペレータである.型付きのshift/resetにはAnswer-type modificationと呼ばれる現象がある.これはresetが返す答えの型がshiftによって変わる現象で,shift/resetを利用する実用的なプログラムでしばしば起こる.しかし,Answer-type modificationに対応するには既存の型システムに大幅に手を加えなければならないため,たとえばOCaml上で実装されているshift/resetはAnswer-type modificationは許されていない.本発表ではAnswer-type modificationを起こすshift/resetが,Answer-typeが固定されたshift/resetとcatch/throwでシミュレート可能であることを示す.
- 2013-12-20
著者
関連論文
- 二階文脈計算(プログラミング及びプログラミング言語)
- 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
- 自己反映的証明体系RPTの理論と実現
- 抽象化と精密化による実時間モデル検査の改善
- 多値モデル検査を利用したモデル化の誤りの発見
- 限定継続に基づくスケーラブルなウェブアプリケーション構築手法
- 1Q-5 マルチステージプログラミングのための計算体系の実装(プログラミング言語・実装・支援,学生セッション,ソフトウェア科学・工学)
- 動的環境と限定継続を持つプログラム言語の意味論と実装
- オブジェクト指向言語に対するメタプログラミング言語の設計と実装
- 階層化コントロールオペレータに対する型システムの構築
- 構成的数学体系RPTに基づく超数学の定理の形式化
- 結果型を変更可能な限定継続の模倣