OCaml は関数型プログラミング言語のひとつです。ML 言語族のひとつであり、静的型付け、非純粋、先行評価を特徴とします。

OCaml は次のような特徴を持つML言語族に属するプログラミング言語です:

  • 関数型
  • 静的型付けによる型安全性
  • 効率性のための副作用を排除しない
  • 先行評価
  • 強力なモジュールシステム

他の ML 言語族と比較するとさらに次のような機能があり、どちらかというと理論よりも実用よりの言語実装となっています:

  • クラスやオブジェクトを扱うための構造的サブタイピング
  • 型定義を必要とせず、やはり構造的サブタイピングを持つ多相バリアント
  • ラベル付き引数
  • バイトコード出力とネイティブコード出力の両方を行える

OCaml に関するより詳しい情報は http://ocaml.org などから得ることができます。また日本語コミュニティとして Slack があります: https://slackin-ocaml-jp.herokuapp.com/

コード言語 (構文の強調表示に使用):lang-ml