トップ
新規
単語検索
ヘルプ
6.1 Lexical convention
をテンプレートにして作成
開始行:
[[Chapter 6 The Objective Caml language]]
6.1 Lexical conventions
Blanks
空白、改行、水平タブ、キャリッジリターン、ラインフィード...
Comments
コメントは (* で始まり *) で終わります。(* や *) の間にブ...
Identifiers
ident ::= (letter| _) { letter| 0...9| _| ' }
letter ::= A ... Z | a ... z
識別子は英文字、数字、_ (アンダースコア) 、' (シングルク...
Integer literals
integer-literal ::= [-] { 0...9 }+
| [-] (0x| 0X) { 0...9| A...F| a...f }+
| [-] (0o| 0O) { 0...7 }+
| [-] (0b| 0B) { 0...1 }+
整数リテラルは数字の 1 つ以上の列です。先頭にマイナス符号...
接頭辞 基数
0x, 0X 16 進数。
0o, 0O 8 進数。
0b, 0B 2 進数。
(先頭の 0 は数字のゼロで、8 進数の O は英文字の O です。)...
Floating-point literals
float-literal ::= [-] { 0...9 }+ [. { 0...9 }] [(e| E) [...
浮動小数点小数は整数部、小数部、指数部の 3 つに分かれます...
Character literals
char-literal ::= ' regular-char '
| ' escape-sequence '
escape-sequence ::= \ (\ | " | ' | n | t | b | r)
| \ (0...9) (0...9) (0...9)
文字リテラルは ' (シングルクォート) 文字で区切られます。2...
エスケープ文字列 表される文字
\\ バックスラッシュ (\)
\" ダブルクォート (")
\' シングルクォート (')
\n ラインフィード (LF)
\r キャリッジリターン (CR)
\t 水平タブ (TAB)
\b バックスペース (BS)
\ddd ASCII code ddd (10 進数) で表される文字
String literals
string-literal ::= " { string-character } "
string-character ::= regular-char-str
| escape-sequence
文字列リテラルは " (ダブルクォート) で区切られます。2 つ...
複数行にまたがるような長い文字列リテラルを書けるよう、\ne...
現在の実装では、事実上文字列リテラルの長さに制限はありま...
Naming labels
名前付きラベルは ~ 、ident 、: の 3 つのトークン列と文法...
label ::= ~ (a ... z) { letter| 0...9| _| ' } :
optlabel ::= ? (a ... z) { letter| 0...9| _| ' } :
名前付きラベルには、label という通常の引数と、optlabel と...
Prefix and infix symbols
infix-symbol ::= (= | < | > | @ | ^ | | | & | + | - | * ...
prefix-symbol ::= (! | ? | ~) { operator-char }
operator-char ::= ! | $ | % | & | * | + | - | . | / | : |...
<=> や !! のような演算子文字の列は infix-symbol や prefix...
Keywords
以下の識別子はキーワードとして予約されているため、その他...
and as assert asr beg...
closed constraint do done dow...
end exception external false for...
function functor if in inc...
land lazy let lor lsl...
lxor match method mod mod...
new of open or par...
rec sig struct then to ...
try type val virtual whe...
with
以下の文字もキーワードです。
# & ' ( ) * , -> ?
?? . .. .( .[ : :: := ;
;; <- = [ [| [< {< ] |]
>] >} _ ` { | } ~
Ambiguities
字句解析の曖昧性は「最大マッチング」規則に従って解決され...
Line number directives
linenum-directive ::= # {0 ... 9}+
| # {0 ... 9}+ " { string-character } "
Caml のソースコードのプリプロセッサで出力に行番号指示語を...
終了行:
[[Chapter 6 The Objective Caml language]]
6.1 Lexical conventions
Blanks
空白、改行、水平タブ、キャリッジリターン、ラインフィード...
Comments
コメントは (* で始まり *) で終わります。(* や *) の間にブ...
Identifiers
ident ::= (letter| _) { letter| 0...9| _| ' }
letter ::= A ... Z | a ... z
識別子は英文字、数字、_ (アンダースコア) 、' (シングルク...
Integer literals
integer-literal ::= [-] { 0...9 }+
| [-] (0x| 0X) { 0...9| A...F| a...f }+
| [-] (0o| 0O) { 0...7 }+
| [-] (0b| 0B) { 0...1 }+
整数リテラルは数字の 1 つ以上の列です。先頭にマイナス符号...
接頭辞 基数
0x, 0X 16 進数。
0o, 0O 8 進数。
0b, 0B 2 進数。
(先頭の 0 は数字のゼロで、8 進数の O は英文字の O です。)...
Floating-point literals
float-literal ::= [-] { 0...9 }+ [. { 0...9 }] [(e| E) [...
浮動小数点小数は整数部、小数部、指数部の 3 つに分かれます...
Character literals
char-literal ::= ' regular-char '
| ' escape-sequence '
escape-sequence ::= \ (\ | " | ' | n | t | b | r)
| \ (0...9) (0...9) (0...9)
文字リテラルは ' (シングルクォート) 文字で区切られます。2...
エスケープ文字列 表される文字
\\ バックスラッシュ (\)
\" ダブルクォート (")
\' シングルクォート (')
\n ラインフィード (LF)
\r キャリッジリターン (CR)
\t 水平タブ (TAB)
\b バックスペース (BS)
\ddd ASCII code ddd (10 進数) で表される文字
String literals
string-literal ::= " { string-character } "
string-character ::= regular-char-str
| escape-sequence
文字列リテラルは " (ダブルクォート) で区切られます。2 つ...
複数行にまたがるような長い文字列リテラルを書けるよう、\ne...
現在の実装では、事実上文字列リテラルの長さに制限はありま...
Naming labels
名前付きラベルは ~ 、ident 、: の 3 つのトークン列と文法...
label ::= ~ (a ... z) { letter| 0...9| _| ' } :
optlabel ::= ? (a ... z) { letter| 0...9| _| ' } :
名前付きラベルには、label という通常の引数と、optlabel と...
Prefix and infix symbols
infix-symbol ::= (= | < | > | @ | ^ | | | & | + | - | * ...
prefix-symbol ::= (! | ? | ~) { operator-char }
operator-char ::= ! | $ | % | & | * | + | - | . | / | : |...
<=> や !! のような演算子文字の列は infix-symbol や prefix...
Keywords
以下の識別子はキーワードとして予約されているため、その他...
and as assert asr beg...
closed constraint do done dow...
end exception external false for...
function functor if in inc...
land lazy let lor lsl...
lxor match method mod mod...
new of open or par...
rec sig struct then to ...
try type val virtual whe...
with
以下の文字もキーワードです。
# & ' ( ) * , -> ?
?? . .. .( .[ : :: := ;
;; <- = [ [| [< {< ] |]
>] >} _ ` { | } ~
Ambiguities
字句解析の曖昧性は「最大マッチング」規則に従って解決され...
Line number directives
linenum-directive ::= # {0 ... 9}+
| # {0 ... 9}+ " { string-character } "
Caml のソースコードのプリプロセッサで出力に行番号指示語を...
ページ名: