coqだった。あまりにアホナ間違いを繰り返す自分に嫌気がさして、定理的にプログラムを定義して、後から変換もできる、というのに惹かれたんだった。今晩当たり勉強できるかな・・・

結構いろんなライブラリがあって、便利なんだなー、とか眺めていたところ。 ocamlbrowserというのがあって、これでいろいろ眺めることができる。 折角だからGLでTeapotくらい出してみようかなのココロ。 どうやってライブラリ？ ライブラリを利用する方法は…

今までも何度かocamlに突撃しようとしては、討ち死にしていた。 なんでかなーと思うと要するに「なんか納得いかない」部分が沢山あって、しかもその理由が中々見つからないからじゃないかと思った。ので、キライなところを列挙していく。 なんだよ +. って！…