ASCII strings are already valid UTF8: The first 128 characters of Unicode, which correspond one-to-one with ASCII, are encoded using a single byte with the same binary value as ASCII, so that valid ASCII text is valid UTF-8-encoded Unicode as well.
Clarity's concat function can leverage this fact to allow a utf8 strings to be concatenated with ascii strings. It can be implemented independent of making ascii-string a proper subtype of utf8-string as proposed in #35.
ASCII strings are already valid UTF8: The first 128 characters of Unicode, which correspond one-to-one with ASCII, are encoded using a single byte with the same binary value as ASCII, so that valid ASCII text is valid UTF-8-encoded Unicode as well.
Clarity's
concatfunction can leverage this fact to allow a utf8 strings to be concatenated with ascii strings. It can be implemented independent of making ascii-string a proper subtype of utf8-string as proposed in #35.