LINUX.ORG.RU

История изменений

Исправление hateyoufeel, (текущая версия) :

7-битной кодировки прекрасно хватает для кодинга (и символов там вовсе не 128, а 95).

См. Agda и другие штуки. Там реально юникод используется. Правда, не столько в синтаксисе. Синтаксис агды вообще минимален.

Наглое 4.2

А можно пример современной платформы, где нет юникода?

Исправление hateyoufeel, :

7-битной кодировки прекрасно хватает для кодинга (и символов там вовсе не 128, а 95).

См. Agda и другие штуки. Там реально юникод используется. Правда, не в синтаксисе. Синтаксис агды вообще минимален.

Наглое 4.2

А можно пример современной платформы, где нет юникода?

Исходная версия hateyoufeel, :

7-битной кодировки прекрасно хватает для кодинга (и символов там вовсе не 128, а 95).

См. Agda и другие штуки. Там реально юникод используется.

Наглое 4.2

А можно пример современной платформы, где нет юникода?