在Poly / ML中打印Unicode字符

时间:2015-08-10 13:39:19

标签: sml polyml

如何在SML中打印小写的希腊语epsilon(使用Poly / ML)?

我尝试过以下方法:

print "ε"; (* Error-unprintable character found in file *)
print "\u03B5"; (* Error-Conversion exception (Invalid string constant) raised while converting \u03B5 to string *)

这根本不可能吗?当然,实际渲染角色是终端的工作,因此应该可以将原始字符代码打印到stdout吗?

1 个答案:

答案 0 :(得分:3)

Unicode转义序列\u03B5对应于UTF-16。

您的终端可能运行UTF-8,其中ε是0xCE 0xB5。输入十进制字节:

> print "\206\181\n";
ε