Я хотел написать образовательный код на Haskell с символами Unicode (не латинскими) в идентификаторах.(Так что идентификаторы выглядят красиво и естественно для носителей естественного языка, отличного от английского, который не использует латинские символы при написании.) Итак, я решил найти подходящую реализацию на Haskell, которая позволила бы это.
Но где эта функция указана в спецификации языка?Как бы я обратился к этой функции при поиске соответствующей реализации?(А какие реализации Haskell, как известно, фактически поддерживают идентификаторы Unicode?)
Оказалось, что одна реализация Haskell приняла мой код с идентификаторами Unicode, тогда как другая не смогла его принять.Мне бы хотелось, если бы был способ формализовать это требование моего кода, возможно, в форме переключения функций языка, чтобы, если я или кто-то другой попытался запустить мой код, было бы сразу ясно, отсутствует ли его реализациянеобходимая особенность и, следовательно, он должен искать другую.(Для этой функции может быть также вики-страница - «Идентификаторы Unicode», в которой будет указано, какие из существующих реализаций поддерживают ее, чтобы можно было знать, куда идти, если это необходимо.)
(Кстати, я поставил тег «синтаксис» в этом вопросе, но на самом деле я воспринимаю его как проблему уровня лексизма, более низкого уровня, чем синтаксис языка. Здесь есть тег для особенностей уровня лексингаязыка, а не для особенностей спецификации синтаксиса языка?)