к
судя по поиску, в основном, одна асоциальная личность использует. а Олег всё-таки приличный человек, к его разуму можно воззвать
как же это противно
Size: a a a
2021 February 05
JS
как же это противно
ох, буду молчать
ХГ
воспользуйтесь поиском по чату – посмотрите сколько раз употребляется слово "хачкель" и кто его в основном использует.
Наверное, я?..
DB
Меня с кваскелем тоже в угол, походу
J
* Velvet DarknessVelvet Darkness последователи цацкеля не палятся
YS
Меня с кваскелем тоже в угол, походу
"Милости прошу к нашему шалашу!" (С)
DB
"Милости прошу к нашему шалашу!" (С)
Они и тебя посчитали?
JS
Меня с кваскелем тоже в угол, походу
не надо. я против насилия. make love, not war
YS
не надо. я против насилия. make love, not war
А как же coercion?
DB
А как же coercion?
Анассептабле
YS
>:=(
DB
к
Нет, потому и сказал вначале про оффтоп. В книжке используется pyret.org
https://www.pyret.org/docs/latest/s_declarations.html#%28part._s~3adata-decl%29
ну, в самой доке языка кстати этот термин не используется
ну, в самой доке языка кстати этот термин не используется
DB
Там слово variant и его производные используются, «вариационный» наверное более-менее ок.
Oℕ
прокомментируйте пожалусто критику кьютити на странице 29, чет эйзенберг любит на это налегать, но мне проблема особо серьезной не кажется
я честно вчитался в 29, не прочитав статьи целиком
там получается два минуса - первый это какие-то полукольца, у которых произведение не нулей может быть нулём и единственный пример - это какая-то странная секьюрити система типов, где я так понимаю, у вас есть вектор разрешений и если например терм c разрешением (r:1. w: 0) замещается внутри терма с разрешением (r:0, w:1) то произведение будет нулевым, и вот тут QTT и проиграла
а второй минус, возможно более серьёзный с патерн-матчингом, но я пока не знаю, как правильно суммы делаются в QTT
там получается два минуса - первый это какие-то полукольца, у которых произведение не нулей может быть нулём и единственный пример - это какая-то странная секьюрити система типов, где я так понимаю, у вас есть вектор разрешений и если например терм c разрешением (r:1. w: 0) замещается внутри терма с разрешением (r:0, w:1) то произведение будет нулевым, и вот тут QTT и проиграла
а второй минус, возможно более серьёзный с патерн-матчингом, но я пока не знаю, как правильно суммы делаются в QTT
A
Х. Ну чё, гоферы, когда там у вас 2.0 с генериками?
Г. Сразу за вашим GHC 10 с завтипами!
...(неловкое молчание)...
Х: А пошли скалиста про Scala 3 спросим!
Г: Го!
Г. Сразу за вашим GHC 10 с завтипами!
...(неловкое молчание)...
Х: А пошли скалиста про Scala 3 спросим!
Г: Го!
Скала 3 уже на подходе же
AP
Что за некропостинг? Тем более в ответ на шутку %)
A
Что за некропостинг? Тем более в ответ на шутку %)
10 часов это уже некропостинг? Я просто зашёл прочитать непрочитанные.