соб оль
соб чак

чак чак

стуль чак

соб соб
оль чак

соб соб
чак оль

Знавал я целую компанию хаскеллистов, которые год терпели компиляцию по 30 минут вместо 3,  ради создания надёжного кода.
Но когда выкатились в прод, то оказалось, что unsafePerformIO , куда они мощно пихали свои типы, взрывается ровно так же, как от любой сраной джавы.
Они терпели ещё год, чтобы в итоге понять, что и с idris такая же фигня, только вдобавок больше не получается деплоиться без патчей в компилятор...
Вот такие они, зависимые типы.

ФП встаёт с колен в "боль тимлида"

опять про какую-то надежность кудахчут. где вы этого набираетесь?

тут же был кто-то кто так писал, @inv2004  вроде

Интересно почитать что он писал о надёжности.

что IO "для надежности" и когда я говорил что это ерунда обижался

С тех пор он многое понял и ушёл на Раст/ним

откуда паста?

боль тимлида, как обычно

точно, не сразу узнал

Кул стори

@qnikst Лейла, видимо, тоже в го играет, причем неплохо

ясно, прикольно, все умеют неплохо играть в го

Надо тоже учиться