ΑZ
короч автомагии нет. Есть возможности её написать, но это столько сил что пока никто эти не занялся, ловят яблоки которые висят ниже
Size: a a a
2021 January 20
DS
короч автомагии нет. Есть возможности её написать, но это столько сил что пока никто эти не занялся, ловят яблоки которые висят ниже
Такая магия есть в reduceron'е и всяких interaction nets
DS
Но это либо другая архитектура, либо вообще полностью другой подход к работе с лямбда выражениями на текущем железе
CD
нет, потому что кэширование это размен памяти в проц. Мб тебе проще посчитать чем лишний килобай таллцоироватЬ?
шаришь
CD
Так ленивость это частично и позволяет
а ленивость в кэш-френдли режиме уже придумали?
V
Документация обычно врёт или сильно недоговаривает.
Либо банально не успели её написать
V
Тоже не понимаю, когда отбрасывают библиотеку ТОЛЬКО из-за плохой документации
V
Это большой минус, спору нет
V
Но не критичный
DS
а ленивость в кэш-френдли режиме уже придумали?
Не особо, если про текущий хаскель говорить.
То есть если хочешь максимального перформанса, то нужно вручную расставлять, где тебе ленивость не нужна.
То есть если хочешь максимального перформанса, то нужно вручную расставлять, где тебе ленивость не нужна.
EG
Сегодня в рубрике «невероятно невнятные ошибки компилятора»
https://github.com/GoldsteinE/adm/tree/actix
https://github.com/GoldsteinE/adm/tree/actix
DS
Могу предположить, что всякие хитрые компиляторы типа того же GRIN'а смогут лучше справляться с этим, но и то не уверен
DS
Сегодня в рубрике «невероятно невнятные ошибки компилятора»
https://github.com/GoldsteinE/adm/tree/actix
https://github.com/GoldsteinE/adm/tree/actix
А с чем падает?
EG
А с чем падает?
Он где-то умудряется инфернуть, что возвращаемый тип — юнит, хотя я в десяти местах его явно указал
EG
Кажется, одна из классических проблем с инферрингом и never
EG
Да, убирание
todo!() помогло. Мб попробую потом зарепортить баг в компилятор, но это довольно сложно вылавливать.p
Сегодня в рубрике «невероятно невнятные ошибки компилятора»
https://github.com/GoldsteinE/adm/tree/actix
https://github.com/GoldsteinE/adm/tree/actix
покажи ошибку
EG
покажи ошибку
Я её уже пофиксил и она улетела вверх
Проблема была в том, что never инферрился как () и это было несовместимо с другими ветками исполнения
Проблема была в том, что never инферрился как () и это было несовместимо с другими ветками исполнения
p
Я её уже пофиксил и она улетела вверх
Проблема была в том, что never инферрился как () и это было несовместимо с другими ветками исполнения
Проблема была в том, что never инферрился как () и это было несовместимо с другими ветками исполнения
странно
p
инфер по умолчанию это жестко конечно