式

全ては式。値を持つ。
式の値を求めることを「評価する」という。
型は値に付属する。

「そのもの」に評価される式
     1           ; 整数            2/3         ; 有理数(*)
     3.14        ; 実数(*)         3.3+2.2i    ; 複素数(*)
     #\λ        ; 文字             "λ算法"    ; 文字列
     #t, #f      ; 真理値
        (* 数値のサポートは実装によって差がある)