type t (* void *)

ソフトウエアのこととか

2013-10-10から1日間の記事一覧

OCaml: ラムダ計算と型プログラミング?

友人が楽しそうにうちの研究室の先生に教えてもらった型プログラミングで遊んでいたので、ちょっとそれをまとめています。 考察はこれから。