S式
S式（エスしき、テンプレート:Lang-en-short）とは、テンプレート:Lang で導入され、主に テンプレート:Lang で用いられる形式的な記述方式。「S」は「テンプレート:Lang」のイニシャルである。
形式的にS式は次のように定義される。
- シンボルはS式である
- S式同士のペアはS式である
ペアとは、シンボルまたは他のペアを2つ組み合わせた構造のことで、通常はドット対 (A . B) として表記される。これに加えて、便宜上 (A . (B . (C . ()))) のような連結リスト型のペアを (A B C) と略記する。
S式は、テンプレート:Lang におけるリスト構造の表現としてジョン・マッカーシーによって考案された。S式は表記に大量の括弧を使用するため、非常に好き嫌いが分かれるテンプレート:要出典が、コードとデータを均質に記述でき、また構造の解析が容易でマクロが書きやすいことなどから、高い記述力を誇る。テンプレート:Lang とS式は密接に結びついており、両者を分離しようとする試みもいくつかあったが、いずれも成功していない。