[MLton] Unicode / WideChar
Tue, 22 Nov 2005 10:54:15 +0100
Henry Cejtin wrote:
> I think that it (chosing between exception/default-to-identity vs. raising
> an exception/returning an option) is all matter of convenience for the `usual'
> case. The argument for toUpper being extended to the identity is that
> often one wants to do that to strings (for case-insensitive comparisons for
Yes, you want to be able to just write
fun yell text = map toUpper text
keeping punctuation and white space. :-)
For a more practical example, consider file paths on Windows, where you
have to perform (map toLower) for normalization.
Andreas Rossberg, firstname.lastname@example.org
Let's get rid of those possible thingies! -- TB