評価は後ろからなのか。 # let aaa x = print_string "aaa"; x + 1;; val aaa : int -> int = <fun> # let bbb x = print_string "bbb"; x + 1;; val bbb : int -> int = <fun> # let ccc x = print_string "ccc"; x - 1;; val ccc : int -> int = <fun> # aaa 1 + bbb 2 + </fun></fun></fun>…

相変わらず迷走中。 # (fun f tl -> let rec foo (l,r) xs = match xs with [] -> (List.rev r, List.rev l) | (x::xs) -> if (f x) then foo (l,x::r) xs else foo (x::l, r) xs in foo ([],[]) tl) (fun i -> i < 3) [1;2;3;4;5;1;2;3;4;6] ;; - : int lis…

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

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

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

ちょっと前にgoshのコマンドラインエディットの為に入れてみた ledit。INRIAご謹製ということで、もしかして、とか思っていたのだけれど、予想通り中身は Ocamlで書いてあって、caml苦手なぼくにはちょっと大変そう。しかも拾ってきてコンパイルしようとする…