http://morihyphen.hp.infoseek.co.jp/ あっちに書きます。

C++のテンプレートの特殊化を整理したものという理解でいいか…帰ったらGADTあたり調べる。 ところでテンプレートの特殊化ってC++起源なんかな？

そろそろ東京帰るよ。 今年の正月は反省すべき点が多かったけど、帰ったら忘れるだろう。

前々から 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.