С
попробую, спасибо
Size: a a a
2021 January 03
YS
я проверял две схожие версии программы без оптимизаций, и там было отсутствие мемоизации в одной из них
YS
в которй не было эта-редукции
YS
и из-за наличия переменной в теле без оптимизаций функции в блоке where не поднимались в топ-левел
YS
т.е. не были CAF'ами
С
т.е. не были CAF'ами
вот я и хотел какой нибудь механизм для проверки кафов
С
там такие мудреные правила что оштбиться легко
YS
ну, то что можно поднять на топ левел, кмк, компилятор поднимет
YS
на топ левеле по сути всё можно привести к кафу, как я понял
YS
мне кажется кафом условно в коде можно считать всё, что можно поднять на топ левел
С
на хаскель вики так и написано
С
в обсуждениях
YS
да в гхц мануале тоже так написано
С
это было предположение о том как мыслить о кафах, и его вроде никто не оспорил
С
да в гхц мануале тоже так написано
ну если так то хорошо
YS
ага)
YS
(но это не точно, но кажется в именно так написано)
YS
тип сказали CAF, и в скобках прям так и подписано, что то, что на топ левеле
С
с рассахариванием тоже какие то сложности, я так понял лямбда не каф из за того что по другому сделана внутри
С
но почему ее не сделают кафом ?