OCaml.jp

このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 OCaml（オキャムル／オーキャムル）は、INRIA（フランス国立情報学自動制御研究所）で開発されている関数型言語の一種で、最新の言語理論の成果が取り入れられたプログラミング言語です。 型安全な静的型システムを基盤に、バグの少ない高信頼なプログラムが開発できます。 オブジェクト、型推論、代数的データ型、モジュールシステム、多相バリアント、第一級モジュール、GADTといった様々な機能を利用して、より簡潔で整理されたコードが記述できます。 x86, x86-64, ARM, PowerPCなど多数のアーキテクチャのネイティブコードを出力できるコンパイラを持っています。Android や iOS 向けのクロスコンパイルも可能です（Linux 上でのクロスコンパイルは opam-cross-a

[tuki0918]

“Forbidden”

[motch1cm]

関数型言語

[kirakking]

おきゃめるとはすけるとあーらんをしっておけば、とりあえず関数型言語。

[tanakaBox]

チュートリアルとマニュアル。

[warud]

, [OCaml], [Functional Programming]

[needingyou]

[カリー/ハワード対応]

[Hi-C]

次世代のプログラミング言語OCaml

[kanouk]

リニューアル

[yamanetoshi]

{OCaml]

[ichikawa2s]

OCaml.JP