Strings can sometimes be complex, especially when they use the Unicode
encoding format. The Hoa\String
library provides several operations on UTF-8 strings.
This is a companion discussion topic for the original entry at https://hoa-project.net/En/Literature/Hack/String.html