R6RS:翻訳:R6RS:11.4.1 Quotation

R6RS:翻訳:R6RS:11.4.1 Quotation

11.4.1 引用

[syntax] (quote <datum>)

構文: <datum> は構文データでなければならない。

意味論: (quote <datum>) は <datum> によって表されるデータ値に評価される(R6RS:翻訳:R6RS:4.3 Datum syntax 参照)。この表記法は定数を導入するために使われる。

(quote a)                             ⇒  a
(quote #(a b c))             ⇒  #(a b c)
(quote (+ 1 2))                       ⇒  (+ 1 2)

4.3.5 で触れたように、 (quote <datum>) は '<datum> と略記することができる。

’"abc"                       ⇒  "abc"
’145932                      ⇒  145932
’a                           ⇒  a
’#(a b c)                   ⇒  #(a b c)
’()                          ⇒  ()
’(+ 1 2)                     ⇒  (+ 1 2)
’(quote a)                   ⇒  (quote a)
’’a                          ⇒  (quote a)

R6RS:翻訳:R6RS:5.10 Storage model で注意したように、定数は変更不可能である。

: quote 式の値の、異なる定数は同一の場所を共有してもかまわない。


Last modified : 2008/04/01 23:53:54 UTC