2012-12-01から1ヶ月間の記事一覧

OCamlとCoqを連携してIO処理をモナディックに扱う

この記事は OCaml Advent Calendar の5日目の記事です。OCamlと連携して、CoqでもIO処理ができるようにするためのライブラリを作った。 http://github.com/yoshihiro503/coqioこのライブラリを使えば、例えば次のようなコードを書くことができる。 Require I…