ECLiPSe has the data type string whose representation is compact and compatible with strings in C, but it also supports lists of ASCII codes.
