syndicate-lang
/
preserves
mirror of https://gitlab.com/preserves/preserves.git
1
0
Fork 1
Code Releases Activity

Java quasi-Symbols

This commit is contained in:
Tony Garnock-Jones 2023-10-30 10:46:11 +01:00
parent e2e81a67c3
commit cdc5295a72
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
preserves.md
View File

@ -75,9 +75,15 @@ lexicographically.
### Symbols. ### Symbols.
Programming languages like Lisp and Prolog frequently use string-like Programming languages like Lisp and Prolog frequently use string-like
values called *symbols*. Here, a `Symbol` is, like a `String`, a values called *symbols*.[^even-java-has-quasi-symbols] Here, a `Symbol`
sequence of Unicode scalar values representing an identifier of some is, like a `String`, a sequence of Unicode scalar values representing an
kind. `Symbol`s are also compared lexicographically by scalar value. identifier of some kind. `Symbol`s are also compared lexicographically
by scalar value.
[^even-java-has-quasi-symbols]: Even Java has quasi-symbols in the form
of its "interned strings". A Java Preserves implementation might
intern Preserves `Symbol`s while leaving Preserves `String`s
uninterned.
### Booleans. ### Booleans.