Some of the expanded rules (such as the fourth one in the example above) may be unreachable from the grammar’s starting nonterminal; these are ignored.
規則には?メタ語? except を含むものもある。これらの規則は except より前のあらゆる展開にマッチするが、except より後ろの展開にはマッチしない。
Some lexical rules contain the metaword except. These rules match any expansion that is listed before the except but that does not match any expansion after the except.
(関数の) 戻り値の型として使う場合、Never は関数が値を返さないことを示し、Void は関数は値を返すが返される値は無効である (常に undefined) であることを示す。
When used as a return type, Never describes the inability to return from a function, while Void states that the function returns, but the value returned is not useful (it’s always undefined).
It might be a good idea for a compiler to issue a warning for a function that is declared as returning type Never for which the compiler can’t verify that the function can’t return.
→ コンパイラの警告の問題を解決するために、ある関数から制御がもどるかどうかをコンパイラが検証しないように、その関数の返り値に Never を宣言しておくというアイデアは良いものだったかもしれない。