Character strings

Literal character strings are special terms, not implementable in Leibniz itself: strings. They are written as any sequence of characters enclosed in double quotes "like this".

The sort of character strings is String.

The only operation defined on character strings is concatenation:

String + String : String

(a:String) + (b:String) ⇒ Pharo:"a ensureString. b ensureString. a, b"

Example: "abc" + "def" ⇒ "abcdef"