Поддерживает ли Standard ML Unicode?
Я считаю, что это не так, но не могу найти никакой авторитетной документации для SML, в которой говорится об этом.
Да или нет — это все, что нужно, но вы должны знать наверняка. Никаких догадок или я верю ответы. Авторитетная ссылка была бы лучше.
Не совсем. Все, что есть в стандарте на данный момент, — это возможность использовать escape-последовательности \uXXXX в символьных и строковых литералах, а также то, что он по крайней мере разрешает Unicode в качестве основной кодировки символов для char или необязательного WideChar.char. Но стандартная базовая библиотека не предписывает какой-либо поддержки дополнительных функций, поддерживающих Unicode.
Конкретные реализации могут иметь дополнительную поддержку, и вы, возможно, можете найти некоторые сторонние библиотеки юникода, но это все (к сожалению, у меня нет под рукой указателей).
Во многом это зависит от того, что вы подразумеваете под «Unicode», который представляет собой набор многих стандартов для многих вещей. Я не встречал ни одного языка или системы, которые бы полностью поддерживали Unicode, и я даже не знаю, что бы это значило во всех деталях.
Вы, безусловно, можете работать с UTF-8 в SML: эта кодировка была изобретена, чтобы облегчить приложениям ASCII поддержку Unicode. Это может привести к лучшему и более эффективному представлению Unicode, чем, например. UTF-16 замечен в Java, который официально «поддерживает Unicode», но с ним возникает много практических проблем (например, суррогатные символы).
При использовании UTF-8 в строках SML один вопрос заключается в том, как работать со строковыми литералами. Такие системы, как Poly/ML, позволяют переопределить симпатичный принтер верхнего уровня ML для type string, а также возможно обернуть компилятор для обработки строковых литералов удобным для Unicode способом. И то, и другое выполняется в Isabelle/ML, основанном на Poly/ML. Поэтому, если вы возьмете эту большую среду для доказательства теорем в качестве платформы для разработки машинного обучения, у вас будет какая-то встроенная поддержка Unicode (через так называемые «символы Изабель»).
