--/--/--

スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。

2009/01/28

GADT - Haskell

Haskell/GADT - wikibooks を読んだ。まだピンと来ないところもある。リストの例を見るに、ある型の具体的な値を、型で表現できるという感じ? で、それを利用して例にある safeHead みたいなことができると。

リストの要素数を型レベルで制限できたりするのかなと思いこんでたんだけど、そういう用途じゃないのかなぁ。

スポンサーサイト

comment

post




上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。