Previous: Character type, Up: Primitive types   [Contents]


3.1.1.5 String type

There is one string type: string.

A string is a sequence of characters encoded using either the UTF-8 or UTF-16 encoding of Unicode.

The choice between the two encodings is implementation dependent.

In the Melbourne Mercury implementation, strings are represented using UTF-8 when generating code for C or Erlang, and using UTF-16 when generating code for C# or Java.