演習4.2.2TaPL問題arithの実装におけるeval関数の定義を、大ステップスタイルに変えよ。答案もう少しうまく書きたい。軽く試した感じは、ちゃんと動いてる。正確に動くかどうかはCoq等で証明すべきなんだろうな。あとは関数名をeval'とかにすべきだったかも。vim-ocaml-stdlib-helpを作った。継続ダメージ処理をやってみる。自動テストを試してみる。(2)月別アーカイブ検索はてなブログをはじめよう!masahiro8080さんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。