いろいろなサイトを読みながら意味もわからず書いたコード。c1 は論理回路の定義です。Arrow はモナドの一般化らしいです。やっぱりよくわかりません。とりあえず proc arg -> do ...みたいな書き方は、コンパイル時に "-farrows" を付けないと使えません。 …

やっぱり OCaml も使えないといかんなーと思う今日このごろ。文字列の扱いが最も戸惑う。文字のリストでいいじゃんという感じ。そして Haskell には、Char できちんとユニコードが扱えることを望みます。 let rec delete e = function [] -> [] | x::xs when…

記念(なんの？)にやってみる。 あなたの関数型指数は 0.639959927412297 です。正が関数型、負が手続き型です。だそうで。やっぱ関数型が好きなのか。