OCaml.JP へようこそ!
ここは Objective Caml に関する情報を集めたコミュニティサイトです。

What's New

• 2010/07/18 今年もOCamlユーザーの幅広い交流を目指して、OCaml Meetingを開催します！。詳細はこちら。
• 2010/04/14 マニュアルの和訳を進めています。HTML版を暫定公開しました。
• 2010/01/20 Version 3.11.2 リリース! 【DOWNLOAD】
  • マイナーチェンジバージョンです。
  • 大きな整数のリテラルについて、パースを誤る場合があった不具合が修正されています。
  • その他のchangesはこちらを参照してください。
• 2010/01/11 型でOCamlの関数を検索できるサービスOCaml API Searchがみずぴー氏(id:mzp)によって作成・リリースされました。
  • 型を入力するとその型に関連する関数が検索できます！
• 2009/08/30 OCaml Meeting in Tokyo 2009が開催されました。発表資料等はUsers Meetingをご覧下さい。
• 2009/06/12 Version 3.11.1 リリース!
  • private typesにおける型付けに問題が見つかり、修正されました。
  • その他特定の環境での不具合や性能向上など、約40件の変更があります。
  • 詳細は、http://caml.inria.fr/pub/distrib/ocaml-3.11/notes/Changes
• 2008/12/04 Version 3.11.0 リリース!
  • Lazy Patternが追加！
  • private abbreviation typeで柔軟な隠蔽と公開が可能！
  • nativeコードにおける動的リンクができるように！
• 2008/02/29 Version 3.10.2 リリース!
• 2008/01/11 Version 3.10.1 リリース!
• 2007/05/16 Version 3.10.0 リリース!
  • nativeコードでスタックトレースが出力できるように！
  • ocamlbuildで楽々コンパイル。
  • camlp4が刷新。3.9互換ではないので注意。

OCamlとは

Objective Caml(オブジェクティブ　キャムル。略してオキャムル/オーキャムル) は、フランスの国立INRIA研究所で開発されている関数型言語MLの一種で、最新の言語理論の成果が取り入れられている次世代のプログラミング言語です。

• 型安全と呼ばれる性質を基盤に、バグが少なく高い信頼性を持つプログラムの開発が可能になります。
• 型推論、代数的データ型、モジュールシステム、多相バリアントといった様々な機能を利用して、より簡潔で整理されたコードが記述できます。
• x86やSPARCなど９種類のアーキテクチャに対するネイティブコードを出力できるコンパイラを持っています。しかも出力されたネイティブコードは実行速度が早いことで定評があります。

ライセンス

OCamlは Q パブリックライセンスというライセンスを持っており、処理系への改変はフィードバックが必要という制限がありますが、OCamlを利用した開発には一切制限はありません。仕事に趣味に、安心して活用できます。