<#3659#>Denoters<#3659#> serve to denote a value of a concrete type.
(315,100)<#4631#>
(000,090)<#4470#>denoter<#4470#>
145
(000,070)<#4471#>(1,0)<#3661#>030<#3661#><#5279#>#tex2html_wrap6955#(100,010)<#5280#>int-denotation<#5280#><#5279#>
(1,0)<#3664#>030<#3664#><#4471#>
146
(025,060)<#3665#>(20,20)[lb]<#3665#>
(025,050)<#4472#>(1,0)<#3666#>005<#3666#><#5282#>#tex2html_wrap6959#(100,010)<#5283#>real-denotation<#5283#><#5282#>
(1,0)<#3669#>005<#3669#><#4472#>
(135,060)<#3670#>(20,20)[rb]<#3670#>
147
(025,040)<#3671#>(20,20)[lb]<#3671#>
(025,030)<#4473#>(1,0)<#3672#>005<#3672#><#5285#>#tex2html_wrap6963#(100,010)<#5286#>bool-denotation<#5286#><#5285#>
(1,0)<#3675#>005<#3675#><#4473#>
(135,040)<#3676#>(20,20)[rb]<#3676#>
148
(025,020)<#3677#>(20,20)[lb]<#3677#>
(025,010)<#4474#>(1,0)<#3678#>005<#3678#><#5288#>#tex2html_wrap6967#(100,010)<#5289#>text-denotation<#5289#><#5288#>
(1,0)<#3681#>005<#3681#><#4474#>
(135,020)<#3682#>(20,20)[rb]<#3682#>
149
(005,060)<#3683#>(20,20)[rt]<#3683#>
(015,060)<#4475#>(0,-1)<#3684#>040<#3684#><#4475#>
150
(145,020)<#4476#>(0,1)<#3685#>040<#3685#><#4476#>
(155,060)<#3686#>(20,20)[lt]<#3686#>
151
<#4631#>
(315,050)<#4632#>
(000,040)<#4477#>int-denotation, number<#4477#>
152
(000,020)<#4478#>(1,0)<#3688#>030<#3688#><#5291#>#tex2html_wrap6977#(040,010)<#5292#>digit<#5292#><#5291#>
(1,0)<#3691#>030<#3691#><#4478#>
153
(075,010)<#3692#>(20,20)[r]<#3692#>
(075,000)<#4479#>(-1,0)<#3693#>050<#3693#><#4479#>
(025,010)<#3694#>(20,20)[l]<#3694#>
154
<#4632#>
Notice that the <#3695#>int-denotation<#3695#> denotes an unsigned number, which
must be preceded by a monadic minus to obtain a negative number.
(315,120)<#4633#>
(000,110)<#4480#>real-denotation<#4480#>
155
(000,090)<#4481#>(1,0)<#3697#>030<#3697#><#5294#>#tex2html_wrap6991#(060,010)<#5295#>number<#5295#><#5294#>
(1,0)<#3700#>030<#3700#> <#5301#>(010,010)<#5304#>.<#5304#><#5301#> (010,010)
(1,0)<#3703#>030<#3703#><#5306#>#tex2html_wrap7001#(060,010)<#5307#>number<#5307#><#5306#>
(1,0)<#3706#>060<#3706#><#4481#>
156
(225,080)<#3707#>(20,20)[r]<#3707#>
(225,070)<#4482#>(-1,0)<#3708#>120<#3708#><#4482#>
(105,060)<#3709#>(20,20)[l]<#3709#>
157
(105,050)<#4483#>(1,0)<#3710#>005<#3710#> <#5313#>(010,010)<#5316#>e<#5316#><#5313#> (010,010)
(1,0)<#3713#>070<#3713#><#5318#>#tex2html_wrap7011#(060,010)<#5319#>number<#5319#><#5318#>
(1,0)<#3716#>005<#3716#><#4483#>
158
(255,060)<#3717#>(20,20)[rb]<#3717#>
(265,060)<#4484#>(0,1)<#3718#>20<#3718#><#4484#>
(275,080)<#3719#>(20,20)[lt]<#3719#>
159
(145,040)<#3720#>(20,20)[lb]<#3720#>
(145,030)<#4485#>(1,0)<#3721#>005<#3721#> <#5325#>(010,010)<#5328#>+<#5328#><#5325#> (010,010)
(1,0)<#3724#>005<#3724#><#4485#>
(165,040)<#3725#>(20,20)[rb]<#3725#>
160
(145,020)<#3726#>(20,20)[lb]<#3726#>
(145,010)<#4486#>(1,0)<#3727#>005<#3727#> <#5334#>(010,010)<#5337#>-<#5337#><#5334#> (010,010)
(1,0)<#3730#>005<#3730#><#4486#>
(165,020)<#3731#>(20,20)[rb]<#3731#>
161
(125,040)<#3732#>(20,20)[rt]<#3732#>
(135,040)<#4487#>(0,-1)<#3733#>20<#3733#><#4487#>
162
(175,020)<#4488#>(0,1)<#3734#>20<#3734#><#4488#>
(185,040)<#3735#>(20,20)[lt]<#3735#>
<#4633#>
(315,080)<#4634#>
(000,070)<#4489#>text-denotation<#4489#>
163
(000,050)<#4490#>(1,0)<#3737#>030<#3737#> <#5343#>(010,010)<#5346#>;SPMquot;<#5346#><#5343#> (010,010)
(1,0)<#3740#>180<#3740#> <#5352#>(010,010)<#5355#>;SPMquot;<#5355#><#5352#> (010,010)
(1,0)<#3743#>030<#3743#><#4490#>
164
(195,040)<#3744#>(20,20)[r]<#3744#>
(195,030)<#4491#>(-1,0)<#3745#>005<#3745#><#4491#>
(065,030)<#4492#>(1,0)<#3746#>005<#3746#><#5357#>#tex2html_wrap7045#(120,010)<#5358#>any-character-except-quote<#5358#><#5357#><#4492#>
(065,040)<#3749#>(20,20)[l]<#3749#>
165
(205,040)<#4493#>(0,-1)<#3750#>20<#3750#><#4493#>
(195,020)<#3751#>(20,20)[rb]<#3751#>
(195,010)<#4494#>(-1,0)<#3752#>055<#3752#><#4494#>
(065,010)<#4495#>(1,0)<#3753#>055<#3753#> <#5364#>(020,010)<#5367#>;SPMquot;;SPMquot;<#5367#><#5364#> (020,010) <#4495#>
(065,020)<#3756#>(20,20)[lb]<#3756#>
(055,020)<#4496#>(0,1)<#3757#>20<#3757#><#4496#>
166
<#4634#>
A <#3758#>text-denotation<#3758#> denotes the sequence of characters, obtained
by stripping off its outermost quotes. Most characters, including
the space, stand for themselves, but the quote-character is used
as an escape.
(315,060)<#4635#>
(000,050)<#4497#>bool-denotation<#4497#>
167
(000,030)<#4498#>(1,0)<#3760#>030<#3760#> <#5373#>(040,010)<#5376#>TRUE<#5376#><#5373#> (040,010)
(1,0)<#3763#>030<#3763#><#4498#>
168
(005,020)<#3764#>(20,20)[rt]<#3764#>
(025,020)<#3765#>(20,20)[lb]<#3765#>
(025,010)<#4499#>(1,0)<#3766#>005<#3766#> <#5382#>(040,010)<#5385#>FALSE<#5385#><#5382#> (040,010)
(1,0)<#3769#>005<#3769#><#4499#>
(075,020)<#3770#>(20,20)[rb]<#3770#>
(095,020)<#3771#>(20,20)[lt]<#3771#>
169
<#4635#>