Version 3 (modified by Greg Weber, 6 years ago) (diff)

Proposal: Opaque Text

Ticket #143
Dependencies none
Related none

Compiler support



Add the Text datatype to the language.

The text package for GHC exposes a Text datatype that represents a string.

The current String = [Char] standard has issues with

  • efficiency: there are more efficient representations than linked lists
  • correctness: for Unicode correctness, one must operate on a string as a whole rather than individual code points

Promoting Text solves both of these issues.


A complete description of the proposal.


External references, papers, articles, support in other languages.

Report Delta

The changes to the report necessary to implement the proposal. Required for a proposal to move to the "accepted" state.