АГ
ясно, прикольно, все умеют неплохо играть в го
Size: a a a
2020 May 12
АГ
Думаю, других Лейл Хатбуллиных найти сложно
AV
Прикольно
AV
А может тут люди ещё и в преферанс играют?
R
Пролетарии в тыщу рубятся.
AV
тыща не ок
AV
в кинга хотя бы
Oℕ
Вот так пока дошёл, срач про Х вс С закончился
AP
"Холодное" противопоставляли "синему"?
AP
(не читал сообщения)
YS
А может тут люди ещё и в преферанс играют?
Играл пару раз!
Oℕ
Знавал я целую компанию хаскеллистов, которые год терпели компиляцию по 30 минут вместо 3, ради создания надёжного кода.
Но когда выкатились в прод, то оказалось, что unsafePerformIO , куда они мощно пихали свои типы, взрывается ровно так же, как от любой сраной джавы.
Они терпели ещё год, чтобы в итоге понять, что и с idris такая же фигня, только вдобавок больше не получается деплоиться без патчей в компилятор...
Вот такие они, зависимые типы.
Но когда выкатились в прод, то оказалось, что unsafePerformIO , куда они мощно пихали свои типы, взрывается ровно так же, как от любой сраной джавы.
Они терпели ещё год, чтобы в итоге понять, что и с idris такая же фигня, только вдобавок больше не получается деплоиться без патчей в компилятор...
Вот такие они, зависимые типы.
ну так се
Oℕ
Знавал я целую компанию хаскеллистов, которые год терпели компиляцию по 30 минут вместо 3, ради создания надёжного кода.
Но когда выкатились в прод, то оказалось, что unsafePerformIO , куда они мощно пихали свои типы, взрывается ровно так же, как от любой сраной джавы.
Они терпели ещё год, чтобы в итоге понять, что и с idris такая же фигня, только вдобавок больше не получается деплоиться без патчей в компилятор...
Вот такие они, зависимые типы.
Но когда выкатились в прод, то оказалось, что unsafePerformIO , куда они мощно пихали свои типы, взрывается ровно так же, как от любой сраной джавы.
Они терпели ещё год, чтобы в итоге понять, что и с idris такая же фигня, только вдобавок больше не получается деплоиться без патчей в компилятор...
Вот такие они, зависимые типы.
Знавал я целую компанию хаскеллистов, которые год терпели компиляцию по 30 минут вместо 3, ради создания надёжного кода.
Но когда выкатились в прод, то оказалось, что zeroMQ , куда они мощно пихали свои типы, взрывается ровно так же, как от любых сраных плюсов.
Они терпели ещё год, чтобы в итоге понять, что и с cloud haskell такая же фигня, только вдобавок больше не получается деплоиться без патчей в компилятор...
Вот такие они, верифицированные тайпклассы.
Но когда выкатились в прод, то оказалось, что zeroMQ , куда они мощно пихали свои типы, взрывается ровно так же, как от любых сраных плюсов.
Они терпели ещё год, чтобы в итоге понять, что и с cloud haskell такая же фигня, только вдобавок больше не получается деплоиться без патчей в компилятор...
Вот такие они, верифицированные тайпклассы.
AV
Во! Эта история больше похожа на реальность!
AC
кто-то знает что такое "отмена ограничений с соблюдением запретов"?
R
Есть запреты, есть ограничения.
Ограничения отменили, запреты оставили.
Ограничения отменили, запреты оставили.
AC
А какие запреты, какие ограничения?
АГ
кто-то знает что такое "отмена ограничений с соблюдением запретов"?
R
А какие запреты, какие ограничения?
запрещено какать
R
Разрешено все, что не запрещено.