[r6rs-discuss] [Formal] Add symbol=? and boolean=?
per at bothner.com
Sat Feb 10 12:30:36 EST 2007
Carl Eastlund wrote:
> I'm not sure I understand this claim. I do not view eq? as a hack.
> It's not (solely) intended to be "equal? lite", a faster version of
> equal? restricted to "small" values.
One could argue that eq? tests for "object identity". However,
(one could also argue) that booleans, symbols, and numbers are
immutable values, not objects, and so object identity is a
meaningless concept. The reason we have eq? defined on symbols
and boolean (not it is not defined on numbers) is because Scheme
has rather mushy semantics when it comes to values versus objects.
Of course there is a history here so changing the semantics of eq?
is out of order, but it seems that if you were to design a language
from scratch you probably make a clearer distinction between values
per at bothner.com http://per.bothner.com/
More information about the r6rs-discuss