2008-01-03から1日間の記事一覧

Phantom types

前々から int a[10]; int x = 4; int y = 6; return a[x+y];こういうのコンパイルエラーにできないかと思ってたんだけど、Phantom typeとかそれらへんがそれっぽいな。 http://www.haskell.org/haskellwiki/Phantom_type http://www.haskell.org/haskellwiki…

3回くらい「書かなさすぎだろ」って言われたので今年はもう少し頑張ろうと思う。

akemasiteomedetouzagoimasu.