サクサク読めて、アプリ限定の機能も多数!
MLの型システム。決定論的で、多相型を含む型推論ができる。
kgbu のブックマーク 2008/07/30 05:08
http://c2.com/cgi/wiki?HindleyMilnerTypeInference[型理論][ML][programming language]MLの型システム。決定論的で、多相型を含む型推論ができる。2008/07/30 05:08
このブックマークにはスターがありません。 最初のスターをつけてみよう!
c2.com2008/07/30
6 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
MLの型システム。決定論的で、多相型を含む型推論ができる。
kgbu のブックマーク 2008/07/30 05:08
このブックマークにはスターがありません。
最初のスターをつけてみよう!
http://c2.com/cgi/wiki?HindleyMilnerTypeInference
c2.com2008/07/30
6 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /