関数型言語ML (SML, OCaml, etc.), Part 6

[過去ﾛｸﾞ] 関数型言語ML (SML, OCaml, etc.), Part 6 (949ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

485(3): 2011/09/29(木)14:23 AAS
ＭＬの型推論の部分だけ「俺言語」の中に取り込みたい
型推論の部分だけ分かりやすくコンパクトにまとめられたコードどこかにないでしょうか

487: 2011/09/29(木)15:56 AAS
>>485
このテキストの17章
外部ﾘﾝｸ[pdf]:www.scala-lang.org
タイガー本の16章
外部ﾘﾝｸ:www.cs.princeton.edu

488: 365 2011/09/29(木)18:07 AAS
>>485
Prolog で型チェック：Rainy Day Codings：So-net blog
　外部ﾘﾝｸ:rainyday.blog.so-net.ne.jp

題名は型チェックだけど、コードはまぎれもなく型推論