История изменений
Исправление hateyoufeel, (текущая версия) :
7-битной кодировки прекрасно хватает для кодинга (и символов там вовсе не 128, а 95).
См. Agda и другие штуки. Там реально юникод используется. Правда, не столько в синтаксисе. Синтаксис агды вообще минимален.
Наглое 4.2
А можно пример современной платформы, где нет юникода?
Исправление hateyoufeel, :
7-битной кодировки прекрасно хватает для кодинга (и символов там вовсе не 128, а 95).
См. Agda и другие штуки. Там реально юникод используется. Правда, не в синтаксисе. Синтаксис агды вообще минимален.
Наглое 4.2
А можно пример современной платформы, где нет юникода?
Исходная версия hateyoufeel, :
7-битной кодировки прекрасно хватает для кодинга (и символов там вовсе не 128, а 95).
См. Agda и другие штуки. Там реально юникод используется.
Наглое 4.2
А можно пример современной платформы, где нет юникода?