3.11/Chapter 6 言語仕様このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 last mod. 2009-01-16 (金) 15:00:54
Forewordこのドキュメントは Objective Caml のリファレンスマニュアルとして書かれています。 言語構成をのべ、それについて文法の詳細とセマンティクスの簡単な説明を与えています。 例示などはないのでチュートリアルには不向きです。 Caml についてある程度の知識があることが前提になっているので注意して下さい。 数学的な難しい話はありません。使われる単語は定義なしで直観的な意味で用いられます。結果として、型付け規則以外の数学的な背景は書かれていません (こちらが言語の完全な定義の部分ですが) 。 Notations文法は BNF 記法のようなもので記しています。終端記号はタイプライターフォント (like this) で、非終端記号は斜体フォント (like that) で書かれています。かぎ括弧 [...] はオプションを意味します。中括弧 {...} は 0 回以上の繰り返しを意味します。中括弧にプラスがついているもの {...}+ は 1 回以上の繰り返しを意味します。括弧 (...) はグループを意味します。 |