スマートフォン用の表示で見る

OCaml

コンピュータ

OCaml

おーきゃむる

Objective Camlの略。Robin Milnerらが設計・開発した関数型言語MLを、Xavier Leroyらが中心となって発展させたプログラミング言語(および、その実装)。

ごみ収集による自動メモリ管理、高階関数、静的型、多相型、再帰型、バリアント型、パターンマッチング、型推論、(ファンクターなどをもった)先進的なモジュールシステム、(宣言的ではなく)構造的な部分型をもったクラスベースのオブジェクト指向、(関数引数の)ラベル、多相バリアントなど、基礎研究による堅固な理論にもとづき、様々な機能をもった強力な言語である。

多数のプログラミング言語を比較したComputer Language Shootout (http://shootout.alioth.debian.org/) において、性能と行数の両方で上位にランクされる唯一の言語であり、参加資格や使用言語に制限のないICFPプログラミングコンテストにおいては最多入賞言語でもある。

しかし、Standard MLScheme, Haskellなどと違い、あまりきちんとした仕様が定義されていない(マニュアルのみ)。