関数型言語の最適化の話はOcamlにまかせてある