2009-10-21から1日間の記事一覧

今日のCoq: eval

Coq

前回作ったラムダ式の上に、evalを定義しました。 覚えたこと 全部、末尾に「〜らしいよ」ってつけて読んでくれるとうれしいです。 再帰関数の定義は、かなり厳しい制約があるっぽい よく分からないこと 最初、termを与えると値になるまで評価するevalを書い…

ITプランニングってすごいですね

ボクのアルバイト先が今までOCamlでどんなソフトウェアを開発してきたかのまとめが公開されています。 2009-10-21ボクは2007年のFX会社のサービスのあたりからアルバイトをさせてもらっているので、ほぼ全部知っているはずなんですが、こうして改めて見ると…

let*と名前付きletをマクロで

30分プログラム、その681。let*と名前付きletをマクロで書いてみました。 輪講のためにSICPの演習問題を解いてたら、「let*と名前付きletをコード変換で実現しろ」というのがでてきました。 そのとき、パターンマッチが使えなくてフラストレーションが溜りま…