>>952
実際にHaskellやOCamlを使っているところは、単純に静的型チェックによる安全性を重要視してるんじゃない？

Javaなんかも静的型チェックがあるけど、HaskellやOCamlはもっと安全で、でも、Javaほど冗長じゃない
っていうのが普通に便利だと思うけど。