型推論が出来るようになったら、もうバラ色である。 型を持った、コンパイラが作れるわけだ。 Lisp級マクロが当然のように動く。 実装は美しく簡単で、解説も書いてある。 型推論があるので、プログラムはスッキリ書ける。 型推論が分かったので、C++やScala…