kaki @gengar68 shift/resetの動的な性質が前から気持ち悪いと思ってたんだけど,これreset式が継続デリミタオブジェクトみたいなのを作って明示的にshiftに渡すんじゃ駄目なのかな. 2014-03-06 15:22:14
2012/09/01 にあった函数プログラミングの集い 2012 in Tokyo で発表してきました。「モナドをつくろう」というタイトルですが、タイトル詐欺で限定継続でモナドを表現する話です。本当は、当日あった質問についてもまとめようと思ったのですが、なかなか文章がまとまらないので、とりあえずスライドと関連のありそうなリンクだけまとめておきます。 モナドをつくろう from dico_leque 関係ありそうな論文等Representing Monads: 今回の元ネタ。 call/cc + 書き換え可能な状態ひとつで shift / reset が表現できる、ということと、それを使ってモナドを表現すること。call/cc implements shift? A good question: call/cc + set! で shift / reset を実装した場合の問題点など限定継続
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く