Standard ML是否支持Unicode？

Question

Standard ML是否支持Unicode？

我相信它没有，也找不到任何关于SML的权威文档来说明这一点。

回答“是”或“否”就足够了，但你必须知道一个事实。不要猜测，否则我相信答案。一个权威的链接会更好。

Answer 1

不怎么有意思。目前，该标准中唯一的功能就是能够在字符和字符串文字中使用\uXXXX转义，并且它至少允许Unicode作为char或可选WideChar.char的底层字符编码。但是标准基础库并没有规定对额外的Unicode感知功能的任何支持。

特定的实现可能有额外的支持，您可能会找到一些第三方unicode库，但仅此而已(不幸的是，我手头没有指针)。

Answer 2

这在很大程度上取决于你所说的"Unicode“是什么意思，它是许多东西的许多标准的集合。我还没有看到任何完全支持Unicode的语言或系统，我甚至不知道这在所有细节中意味着什么。

您当然可以在SML中使用UTF-8 :这种编码是为了使ASCII应用程序更容易支持Unicode而发明的。这可能会导致它比Java中看到的UTF-16更好和更有效地表示Unicode，Java确实“支持Unicode”，但它也存在许多实际问题(如代理字符)。

对于SML字符串中的UTF-8，一个问题是如何处理字符串文字。像Poly/ML这样的系统允许为type string重新定义ML顶层漂亮打印机，也可以将编译器包装为以Unicode友好的方式处理字符串文字。这两种操作都是在基于Poly/ML的Isabelle/ML中完成的。因此，如果您将大型定理证明环境作为ML开发平台，您就拥有某种内置的Unicode支持(通过所谓的"Isabelle symbols")。