日々の流転

λ. Why Dependent Types Matter. Thorsten Altenkirch, Conor McBride, James McKinna

LtUより。2004-09-27の日記でも紹介したEpigramというHaskell風のdependent-typeをサポートした言語の話なんだけど、Epigram固有の話と言うよりはdependent-typeの有用性についての論文。面白い。

Future Work の Observational Type Theory に興味を惹かれる。僕も Intentional Type Theory と co-data の相性の悪さはうっすらと感じていたので、我が意を得たりという感じ。

λ. C110村

を読んだ。 超おすすめログ に載っているだけのことはある。色々勉強になった。

• 人狼BBS:C C110 悲しみの村
• 人狼BBS まとめサイト - C110村