Symbols are actually special - without them there's a bootstrapping issue

This reverts commit df94b7a8c6.
This commit is contained in:
Tony Garnock-Jones 2019-07-04 05:33:19 -04:00
parent df94b7a8c6
commit 681bb9705f
1 changed files with 3 additions and 3 deletions

View File

@ -880,9 +880,9 @@ types.[^why-dictionaries]
predicate to programmers, and so if a data type demands a special
equivalence predicate, as `Dictionary`, `Set` and `Float` all do,
then the type should be included in the base language. Otherwise,
it can be represented as a `Record` and treated separately.
`Boolean`, `String` and `Symbol` are seeming exceptions: they
merit inclusion because of their cultural importance.
it can be represented as a `Record` and treated separately. Both
`Boolean` and `String` are seeming exceptions: they merit
inclusion because of their cultural importance.
All of these conventions are optional. They form a layer atop the core
`Value` structure. Non-domain-specific tools do not in general need to