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

OCamlとは

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

• 型安全と呼ばれる性質を基盤に、バグが少なく高い信頼性を持つプログラムの開発が可能になります。
• 型推論、代数的データ型、モジュールシステム、多相バリアントといった様々な機能を利用して、より簡潔で整理されたコードが記述できます。
• x86, amd64, SPARCなど多数のアーキテクチャに対するネイティブコードを出力できるコンパイラを持っています。しかも出力されたネイティブコードは実行速度が早いことで定評があります。
• OCamlは Q パブリックライセンスというライセンスを持っており、処理系への改変はパッチのみ公開可能という制限がありますが、OCamlを利用した開発には一切制限はありません。仕事に趣味に、安心して活用できます。

• いますぐOCamlを触ってみたいという人は、ブラウザ上で動くOCamlインタープリターを試してみよう！
  • http://try.ocamlpro.com/

• 最新バージョン4.00.1のダウンロードはこちら。
  • 

What's New

• 2012/10/05 Version 4.00.1 リリース！
  • 22個のバグフィックス。割とクリティカルなのがあるのでアップデート推奨。
• 2012/07/26 Version 4.00.0 リリース！
  • OCaml4.00.0の変更点
• 2012/05/14 和訳マニュアルを更新しました。
• 2011/07/04 Version 3.12.1リリース! 【DOWNLOAD】
  • マイナーバージョンアップです。
  • camlp4関連の不具合をはじめ76個!の不具合が直っています。
  • バイナリは出るのでしょうか・・・(ぉ
• 2010/08/05 Version 3.12.0の和訳マニュアルを公開しました。
• 2010/08/02 Version 3.12.0リリース!
  • メジャーバージョンアップです。
  • レコード文法や第一級のモジュールなど12の新規機能が導入されました。
• 2010/07/18 今年もOCamlユーザーの幅広い交流を目指して、OCaml Meetingを開催します！。詳細はこちら。
• 2010/04/14 マニュアルの和訳を進めています。HTML版を暫定公開しました。
• 2010/01/20 Version 3.11.2 リリース!
  • マイナーチェンジバージョンです。
  • 大きな整数のリテラルについて、パースを誤る場合があった不具合が修正されています。
  • その他の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互換ではないので注意。