SA
да это на самом деле супер очевидно если чел на аутист полный
Size: a a a
2020 October 13
SA
но он может начать гнать что де не видит разницы
AE
Трудящимся ничего не поможет, трудящиеся пишут на худших языках
Трудящимся помогает очень много что, и часто совсем неочевидными способами, но.
SA
и все типа
AE
Но почему помощь трудящимся это вообще какой-то критерий?
AE
Типа как будто универсальный.
nn
а какой критерий в выборе идриса?
SA
че ты несешь
AE
noname nobody
а какой критерий в выборе идриса?
А какая разница?
AE
У каждого свой, наверное.
SA
у нас то тут нафига это спрашивать
AE
Не ну, если мне захочется пописать на чём-то с зависимыми типами, я наверное идрис как раз выберу.
AE
Потому что Агда поверх Хаскелля, а мне это не очень нравится, а Coq стрёмный ваще.
AE
Вот тебе и критерий.
SA
ну да не шень же)
платная хуйня с психопатом девелопером
платная хуйня с психопатом девелопером
SA
кок не про то и не язык
SA
идрис же нормальный как бы язык программирования
AE
Кстати для него есть биндинги к опенгл и sdl2.
nn
какой норм вариант — спросить че вам в языке нравится допустим
или сказать а можно мне сравнение его системы типов с хаскелем
или сказать а можно мне сравнение его системы типов с хаскелем
и чё вам в идрисе ндравится? я правильно понял, вы фан идриса?
SA
бляяяяяя чел