ある方からメールをいただいて思い立ちました。すでにコメント欄など触れましたが、Developing Applications with Objective Camlという書籍http://caml.inria.fr/pub/docs/oreilly-book/の翻訳http://www.kb.ecei.tohoku.ac.jp/~sumii/ocamlbook/book-ora.p…

ちょっと前に「subtypingはプログラム解析でも有用」みたいなことを書きましたが、たとえば（やや古いですが）http://www.cs.ucla.edu/~palsberg/tba/にあるような、型を応用したプログラム解析（type-based analysis）のことです。これは何かというと、単に…