PG
я смотrю, ви таки из наших
ловите позеra!
Size: a a a
2020 June 06
АЕ
символы то хоть лисповые?
AP
как вы относитесь к использованию юникода в символах?
Набирать неудобно, а так норм
PG
просто хочется пакет назвать, условно, foo×bar
АЕ
хз на самом деле
АЕ
будет пакет для неленивых
AP
просто хочется пакет назвать, условно, foo×bar
Где-то тут был мемчик про новый ЯП где переменные это один и тот же символ в разных шрифтах
PG
из более менее мейнстримных языков с такими приколами можно привести в пример джулию
AP
̶̛͕̬̻̈́̓̽̏͐͑̽̒͂̽͑͑s̴̡̛̖͙͚͉̮̗͖̣̮̠̱͈̏̎͛̂̋̉͒̕ͅe̵̡̥̫̝̺͍̰̪͒͒͒͐̌̀̏̉̄̚͝v̴̛͓̜̝̪̜̟̣͍͉̈́̍̒͒̍e̴̻̺͚͕̟͉͛̅̒̾̌͂͘ͅņ̴̛̣̠̜̘̙͎͍̫̰̰̱̘̂͒͂̏̍̓͜ вот так еще назови для разнообразия
D
Агда использует юникод
D
Получается почти лекция по мотимотике
PG
это маргинальные примеры
PG
джулия, впрочем, примерно той же аудитории продается и ей же разрабатывается
D
Примеры чего
PG
использования юникода в языке
D
В хачкеле можно тоже юникод юзать вроде
PG
и мало кто его использует