Chapter 6 The Objective Caml language のバックアップソース(No.2)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• バックアップ を表示
• Chapter 6 The Objective Caml language へ行く。
  • 1 (2008-03-11 (火) 15:03:29)
  • 2 (2008-03-11 (火) 15:06:10)

[[The core Chapter 1 The core languagelanguage]]

*Foreword [#hba5a64f]
このドキュメントは Objective Caml のリファレンスマニュアルとして書かれています。 言語構成をのべ、それについて文法の詳細とセマンティクスの簡単な説明を与えています。 例示などはないのでチュートリアルには不向きです。 Caml についてある程度の知識があることが前提になっているので注意して下さい。

数学的な難しい話はありません。words are employed with their intuitive meaning, without further definition. 結果として、型付け規則以外の数学的な背景は書かれていません (こちらが言語の完全な定義の部分ですが) 。

*Notations [#tc7726a4]
文法は BNF 記法のようなもので記しています。終端記号はタイプライターフォント (like this) で、非終端記号は斜体フォント (like  that) で書かれています。かぎ括弧 [...] はオプションを意味します。中括弧 {...} は 0 回以上の繰り返しを意味します。中括弧にプラスがついているもの {...}+ は 1 回以上の繰り返しを意味します。括弧 (...) はグループを意味します。

-Lexical conventions JP
-Values JP
-Names
-Type expressions
-Constants JP
-Patterns
-Expressions
-Type and exception definitions
-Classes
-Module types (module specifications)
-Module expressions (module implementations)
-Compilation units