7 Text

This chapter describes modules for handling data encoding textual information. Characters are encoded as integers. Strings are lists of characters. Virtual Strings are atoms, strings, byte strings, integers, and floats closed under virtual concatenation encoded by tuples with label '#'.

For example,

"Contains "#also#" numbers: "#(1#' '#2.045)

is a virtual string representing the string

"Contains also numbers: 1 2.045"

• 7.1 Characters

• 7.2 Strings

• 7.3 Byte Strings

• 7.4 Virtual Strings