OCaml
さんの情報は
生没年不詳
OCaml（オーキャムル、オーキャメル、旧称: Objective Caml）は、汎用、高水準、マルチパラダイムのプログラミング言語であり、MLのCaml方言にオブジェクト指向の機能を追加したものである。1996年にグザヴィエ・ルロワ、ジェローム・ヴイヨン、ダミアン・ドリジェ、ディディエ・レミ、Ascánder Suárezらによって開発された。 OCamlのツールチェーンには、対話型のトップレベルインタプリタ、バイトコードコンパイラ、最適化を行うネイティブコードコンパイラ、リバーシブルなデバッガ、パッケージ管理システム（OPAM）、および組み合わせ可能なビルドシステム（Dune）が含まれている。OCamlは当初、自動定理証明の文脈で開発され、静的解析や形式手法のソフトウェアで利用されている。これらの分野を超えて、システムプログラミング、Web開発、特定の金融ユーティリティなど、様々なアプ
※Wikipediaの情報から機械的に算出しています。
情報の正確性を保証するものではありません。
 OCamlのロゴ | |
| 登場時期 | 1996年 |
|---|---|
| 開発者 | フランス国立情報学自動制御研究所 (Inria) |
| 最新リリース |
5.4.0  / 9 October 2025年 |
| 型付け | 強い静的型付け、型推論、構造的型付け |
| 影響を受けた言語 | C、Caml、Modula-3、Pascal、Standard ML |
| 影響を与えた言語 | ATS、Rocq（旧称: Coq）、Elm、F#、F*、Haxe、Opa、Rust、Scala、Gleam |
| プログラミング言語 | OCaml、C |
| プラットフォーム | クロスプラットフォーム: Linux、Unix、macOS、Windows |
| ライセンス | LGPLv2.1 |
| ウェブサイト | 公式ウェブサイト |
| 拡張子 | .ml, .mli |
| 関連言語 | ML: Caml |
「OCaml」をWikipediaのカテゴリー
Wikipediaで調べる
「OCaml」さんについての
一言コメント
まだコメントはありません。