限定継続を使ってmrubyでモナドを作ったり非決定計算したりしてみる - wasabizの日記

2013-10-05 限定継続を使ってmrubyでモナドを作ったり非決定計算したりしてみる ** この記事はmrubyで限定継続(shift/reset)を実装した話の一部です mruby用の限定継続モジュールを作ったので色々と遊んでみます。限定継続でできることは様々です。ざっと挙げてみれば 非ローカルジャンプ イテレータ データ構造のトラバース コルーチン(ファイバー) 非決定計算 モナド 非同期処理(async/await) といったところです。静的型付き言語ならさらに型付きprintfみたいなことが出来るらしいですがよく知りません。浅井先生の論文を読んでください。非同期処理はコルーチンがあれば実装できるので一旦置いておくとして、コルーチン、モナド、非決定計算あたりを作ってみました。 モナド 参考: 函数プログラミングの集い 2012 in Tokyo で発表してきました。 限定継続を