标准ML支持Unicode吗?
我认为不支持,但找不到任何官方的SML文档来证明这一点。
只需要是或否的回答,但你必须确保回答的准确性。不能猜测或者是我认为的答案。提供权威链接会更好。
\uXXXX
转义,以及至少允许将 Unicode 作为 char
或可选的 WideChar.char
的基础字符编码。但标准基础库不规定任何额外的 Unicode 感知功能支持。特定实现可能具有额外的支持,并且您可能会找到一些第三方 Unicode 库,但仅限于此(不幸的是,我手头没有任何指针)。type string
的ML顶层漂亮打印机,并且包装编译器以以Unicode友好的方式处理字符串字面量也是可行的。在基于Poly/ML的Isabelle/ML中就做到了这两点。因此,如果将其作为ML开发平台,则内置了某种形式的Unicode支持(通过所谓的“Isabelle符号”)。