DS
прям в std?
Нет, а какая разница, если пакетный менеджер из коробки?
Size: a a a
2020 April 17
AZ
In my conversations with people who get paid/damage compensated for the misery of writing Cpp… (далее вопрос по существу)
B
p
А что есть еще из фп языков с теоремами помимо идриса? не заходит совсем пока.
DS
А что есть еще из фп языков с теоремами помимо идриса? не заходит совсем пока.
Агда
DS
Coq
AZ
А что есть еще из фп языков с теоремами помимо идриса? не заходит совсем пока.
А что именно не нравится?
p
А что именно не нравится?
голова болит пока пытаюсь распарсить текст
AZ
если ты имеешь ввиду "есть ли не МЛ распространенные языки" то я таких не знаю
DS
голова болит пока пытаюсь распарсить текст
У них у всех такой синтаксис примерно
p
ладно
DS
Разве что у Coq чуть другой, но всё равно то же семейство
AZ
голова болит пока пытаюсь распарсить текст
оч странно ваще, к этому моменту ты уже должен был пообвыкнуть
DS
У агды зато юникодные идентификаторы повсюду
DS
И это круто на самом деле
AZ
У агды зато юникодные идентификаторы повсюду
некруто, потому что я не умею их набирать напрмимер
DS
некруто, потому что я не умею их набирать напрмимер
Их умеет агдовский emacs плагин набирать
AZ
лол, а если я пользуюсь не емаксом?
DS
лол, а если я пользуюсь не емаксом?
То не видать тебе агды
DS
(Есть ещё плагин для atom'а)