λ
Dollar Føølish
В общем мне в компиляторном чате сказали что с индуктивными типами эта программа работает
С индуктивными?
Size: a a a
2020 February 03
DF
Да
λ
Индуктивность же требует тотальности
DF
Там какие то Селф алиасы ввели в с++
DF
Видимо они позволяют хакнуть мир
DF
Компилируется это добро только на 17 стандарте
DF
С какими то доп флагами
DF
(когда рад что дальше 14 стандарта не знаешь)
AZ
Dollar Føølish
В общем вывод такой. Надо писать на хаскеле и не ебать мозги кек
правильно. Правда у многих от такой формулировки голова кругом пойдет
AZ
Dollar Føølish
Там какие то Селф алиасы ввели в с++
в языке где даже парсинг не разрешим можно ожидать всего
AZ
в целом да
p
на доске раст асинк ошибки?
AZ
на доске раст асинк ошибки?
нет формально верифицированная мемоизация с помощью ко-йонеды
AZ
"complete sense" для ошибки не очень имеет смысл
s
это не поджечь это взять расплав и окислить
Нет, это именно горение
https://www.youtube.com/watch?v=RsKweMk77WQ
https://www.youtube.com/watch?v=RsKweMk77WQ
AZ
восхищен системой типов?
NL
восхищен системой типов?
Вкратце, что хоть делает этот код? Честно говоря, меня Солидити в ступор ставит, я не понимаю откуда его начинать распутывать.
NL
И сколько у тебя заняло написать этот модуль? (я же правильно выразился, это модуль?)
AZ
Вкратце, что хоть делает этот код? Честно говоря, меня Солидити в ступор ставит, я не понимаю откуда его начинать распутывать.
сохраняет заявки пользователей (за это отвечает контракт Season), а остальная обвязка запускает распределение, когда пользователям выдаются местах на ярмарках выходного дня в москве согласно приоритетам, времени подачи и некоторых других соображений