ocamlから多くの要素を引き継いだ関数型とオブジェクト指向のマルチパラダイムである。