OCaml

フランスの INRIA が開発したプログラミング言語。 Camlはcamel（ラクダ）と同様に発音することから、アイコンにらくだが使われている。

型安全な静的型システムを基盤に、バグの少ない高信頼なプログラムの開発ができることを特徴としている。