式
#Fleeting_Notes
式(expression)
時と場合によってどういうものが式かは変わる
プログラミング言語の文脈ではざっくりと値を返すモノが式？
依存型理論
の場合の式
$ e
$ e ::= x\ |\ e\ e \ |\ \lambda x: e.e \ |\ \forall x:e.e \ |\ \mathcal{U}_n
ref:
The Type Theory of Lean
確認用
Q. 式
参考
プログラミングにおける式と文とは - 愚鈍人
「式と文、評価と実行、そして副作用」の記事の続き · Issue #66 · rubima/rubima
The Type Theory of Lean
調査用
Google.icon
式(日)
Google.icon
Expression(英)
Wikipedia.icon
式 - Wikipedia(日)
式(検索) - Wikipedia(日)
Wikipedia.icon
Expression - Wikipedia(英)
Expression(検索) - Wikipedia(英)