世界中のあらゆる情報を検索するためのツールを提供しています。さまざまな検索機能を活用して、お探しの情報を見つけてください。
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ページを開く