プログラミング言語の基礎理論 (情報数学講座)OCamlの型について知りたいけど何を読めばいいですか、とid:yoshihiro503さんに訊いて、教えてもらった。目次を眺めるかぎりでは、型推論とか多相型とか知りたいことが書いてあるっぽい。 ただ残念なことに、Ama…