リンクをアドレスバーにドラッグ＆ドロップ．以上． こんなお手軽な方法があったとは…．これって常識？

あまり面白くない例だが，プリント可能なヘテロジニアス（異種混合）リストを考える． （但し，中身を直接見られないのでただの文字列のリストなのだが…）type hetero = Nil | Cons of ∃'a. 'a * ('a -> string) * hetero Cons の2つ目の引数は，要素を文字…

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…

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