"抽象観"
"アリティ"
引数の数
"配列観"
"駐観"
"引数が2つの"
"制約解決"
"データ命題"
"データ種"
"データ観"
"効果"
"無環境"
C言語の関数のようなクロージャではない関数では、関数に付随する環境がない。 そのため、C言語の関数は無環境関数と呼ばれる。
"結合性"
"総称テンプレート"
"中置"
"遅延束縛"
"左辺値"
"補題"
"線形性制限"
パターンマッチの中でそれぞれの変数は最大で一度までしか登場できないこと。
"引数のない"
"オプショナル観"
"パラメータ多相"
"後置"
"前置"
"定理証明によるプログラミング"
"命題"
"種"
"特殊テンプレート"
"サブセット種"
"末尾呼出"
"末尾再帰呼出"
"停止性メトリクス"
"引数が3つの"
"型"
"引数が1つの"
"観"
参考: http://comments.gmane.org/gmane.comp.lang.ats.user/1759
"観変化"
"観型"