GP
Не везде
покаж примеры
Size: a a a
2020 April 20
AT
покаж примеры
В Coq у тебя есть fix и match, в Lean примитивами являются фолды
ᛒ
В Coq у тебя есть fix и match, в Lean примитивами являются фолды
о точно же
GP
В Coq у тебя есть fix и match, в Lean примитивами являются фолды
GP
ну в коке не уверен что удобнее в целом
ᛒ
@optician_owl в дкс ВСЕ самолеты кроме двух дают бесплатно до конца месяца
GP
λ
покаж примеры
ты опечатался, ты хотел сказать член
ᛒ
кроме вигена и томкэта
DM
@optician_owl в дкс ВСЕ самолеты кроме двух дают бесплатно до конца месяца
эт где? в стиме не особо бесплатно
ᛒ
эт где? в стиме не особо бесплатно
в офиц лаунчере
ᛒ
там даже поршни потрогать дают
GP
эт где? в стиме не особо бесплатно
В дата инжа жобсах спрашивают про работу
DM
ну в коке не уверен что удобнее в целом
мне больше интересно с точки зрения конпилятора, как рерайтинг делать
DM
там даже поршни потрогать дают
секси
AT
мне больше интересно с точки зрения конпилятора, как рерайтинг делать
А какой ты рерайтинг имеешь в виду?
AT
@optician_owl У нас, например, есть fix, который пользователю недоступен, экспортируются только фолды, которые через этот внутренний fix сделаны. А при компиляции мы компилируем fix, собственно, а не семейство фолдов
DM
А какой ты рерайтинг имеешь в виду?
а пока не знаю какой, на реддите в теме перформанса рекурсивных схем упомянули что вроде как можно аналог фьюжена для всяких ленивых листов делать, но сложнее
AT
а пока не знаю какой, на реддите в теме перформанса рекурсивных схем упомянули что вроде как можно аналог фьюжена для всяких ленивых листов делать, но сложнее
О, интересно. А кинь ссылкой, пожалуйста?