>>599
それはね、単にコンパイラの作者が優秀なだけ。。
別にOCamlだから実現できたという訳ではない。