S式
出典: フリー百科事典『ウィキペディア(Wikipedia)』
S式(えすしき 英:S-expression)とは、LISPで導入され、主にLISPで用いられる論理記述方式の事。「S」は「Symbol」のイニシャルである。
形式的にS式は次のように定義される。
- シンボルはS式である
- ペアはS式である
- 以上2つがS式である
ペアとは、シンボルまたは他のペアを2つ組み合わせた構造の事で、通常はドット対(A . B)として表記される。これに加えて、便宜上(A . (B . (C . ())))のような連結リスト型のペアを(A B C)と略記する。
S式は、ラムダ算法を紙の上に表記する手段としてジョン・マッカーシー(John McCarthy)によって考案されたが、それをそのままコンピュータ上に移植した物が最初のLISPとなった。S式は表記に大量の括弧を使用する為、非常に好き嫌いが別れるが、コードとデータを均質に記述でき、また構造の解析が容易でマクロが書きやすいことなどから、高い記述力を誇る。LISPとS式は密接に結びついており、両者を分離しようとする試みもいくつかあったが、いずれも成功していない。