2006-05-12から1日間の記事一覧
輪講でTAPLを読んでいる関係で、型が結構熱い。 と言うことで、Benjamin Pierceさんの型に関するサーベイの発表スライド、"Types and Programming Languages: The Next Generation"を読んでみた。 自分みたいに型をちょこっとかじった程度でも、様々な型の目…
輪講でTAPLを読んでいる関係で、型が結構熱い。 と言うことで、Benjamin Pierceさんの型に関するサーベイの発表スライド、"Types and Programming Languages: The Next Generation"を読んでみた。 自分みたいに型をちょこっとかじった程度でも、様々な型の目…