OCaml では，違う型で再帰する多相関数を書くことが難しい． 以下のデータ型 ('a,'b) twist を考える．type ('a,'b) twist = Nil | Cons of 'a * 'b * ('b,'a) twist 例えば，次の値はデータ型 (int,bool) twist を持っている．let twist_data = Cons(1,true…

ここでは，研究やその他諸々について記録していく予定． とりあえず，自分用のメモとして使っていくと思うので， 他人に見せるほどのものではないような．