The type of characters is written Char. Values of this type represent single characters (e.g. a letter, a digit, punctuation, etc.). Technically, a Char value represents any Unicode codepoint.

Characters are written using single quotes. For example,

mychar : Char
mychar = 'g'

Certain special characters can be written using escape sequences, consisting of a backslash followed by another character:

  • \n represents a newline character
  • \t represents a tab character
  • \' represents a single quote
  • \" represents a double quote
  • \\ represents an actual (single) backslash character

A sequence of characters is known as a string.