OCaml は関数型プログラミング言語のひとつです。ML 言語族のひとつであり、静的型付け、非純粋、先行評価を特徴とします。
OCaml は次のような特徴を持つML言語族に属するプログラミング言語です:
- 関数型
- 静的型付けによる型安全性
- 効率性のための副作用を排除しない
- 先行評価
- 強力なモジュールシステム
他の ML 言語族と比較するとさらに次のような機能があり、どちらかというと理論よりも実用よりの言語実装となっています:
- クラスやオブジェクトを扱うための構造的サブタイピング
- 型定義を必要とせず、やはり構造的サブタイピングを持つ多相バリアント
- ラベル付き引数
- バイトコード出力とネイティブコード出力の両方を行える
OCaml に関するより詳しい情報は http://ocaml.org などから得ることができます。また日本語コミュニティとして Slack があります: https://slackin-ocaml-jp.herokuapp.com/