式

式(expression)

時と場合によってどういうものが式かは変わる

式はあらゆる種類の構文的表現に使用するもの

項式、型式、カインド式などなど

項は計算の構文的表現に使用する

プログラミング言語の文脈では、(型理論|コンパイラ)等の文脈が収束していった結果、「値を返すものが式」という表現になっているような気がする

$ e ::= x\ |\ e\ e \ |\ \lambda x: e.e \ |\ \forall x:e.e \ |\ \mathcal{U}_n

確認用

Q. 式

関連

参考

メモ

調査用

Wikipedia.icon

Wikipedia.icon