DS
Потому что не нужно писать код неиронично на сишных макросах
Size: a a a
2021 April 09
DS
Это к распаду личности приводит
H
ну вот я пилил teloxide.
получше уже, но тоже сплошная линия
получше уже, но тоже сплошная линия
DS
Точнее у меня бы точно привело бы
H
но у меня получилось)
H
но какой ценой, лол
CD
надо еще тебя в алгосы надрочить
а
я чот попробовал хаскель, и после него остальные системы типов -- сплошное уныние
s
Попробуй Idris.
s
Затем попробуй Arend.
а
Да я уже Coq тыкал, да
а
но с ним вроде особо ничего серьёезного не напишешь
s
Coq он довольно унылый же.
а
Зато самый стабильный и задокументированный из завтиповых
s
Да, так.
EG
Есть ли какая-нибудь площадка, которая как play.rlo, только использует внутри что-то типа cargo script, чтобы не только 100 популярных крейтов?
p
Мычать умеешь?
EG
Ась?
EG
А, ну это уже так себе плейграунд