2006-08-03から1日間の記事一覧
int 型の要素から成るリストは,type int_list = Nil | Cons of int * int_list のように再帰的に定義され. 'a t = 'a (ここで type 'a t = Nil | Cons of int * 'a ) を満たすような t の最小不動点として捉えることができる. このような代数的データ型…
int 型の要素から成るリストは,type int_list = Nil | Cons of int * int_list のように再帰的に定義され. 'a t = 'a (ここで type 'a t = Nil | Cons of int * 'a ) を満たすような t の最小不動点として捉えることができる. このような代数的データ型…