リテラル
リテラルとは、数理論理学において、原子論理式あるいは原子論理式の否定のこと。
基礎リテラルとは、リテラルのうち、変数を含んでいないものを指す。
共通な変数を持たない2つの節に対して、節のそれぞれのリテラルで使って再汎単一化要素をもち、二次元導出系 (英: binary resolvant) を作る場合に導出に使われたリテラル (英: literal resolved upon) と呼ぶ。共通の変数を含まない2つの節で、推論した節の二次元等号調整系 (英: binary paramodulant) を作ったとき、等号調整に使われたリテラル (英: literal paramodulated upon) という。
配列のリスト初期化構文をサポートする言語は多いが、配列のリテラルをサポートしているとは限らない。
C言語をはじめとするC系の言語では、{1, 2, 3}のように要素をコンマで区切り、ブレースで囲む。ただしC/C++では、この記法は「初期化子リスト」であり、配列のリテラルではない。Javaでは「配列初期化子」、C#では「コレクション初期化子」であり、ともに配列のリテラルではない。
RubyやJavaScriptなどは、[1, 2, 3]のようにブラケットで囲む。
Pythonはリストのリテラル[1, 2, 3]、タプルのリテラル(1, 2, 3)、セットのリテラル{1, 2, 3}をサポートするが、配列(数値用のコンパクトなコレクション表現)のリテラルはサポートしない。
OCamlおよびF#は配列のリテラル([| 1; 2; 3 |]など)およびリストのリテラル([ 1; 2; 3 ]など)をサポートする。
Goは[3]int{1, 2, 3}のように要素数と型を指定することで配列(固定長のコレクション)のリテラルとなる。[]int{1, 2, 3}のように要素数を省略するとスライス(可変長のコレクション)のリテラルとなる。