I
Это пример кода, где ожидается что кодген будет без аллокаций FSharpFunc, но они, к сожалению, есть.
Size: a a a
2021 January 05
I
Я помню что обещал скинуть неоптимизированный пример такого кода
I
И происходит такое именно из-за авто каррирования. То есть компилятор вместо того, чтобы пользоваться условными Func<string, string, bool> (так как каррирования по сути нет), компилятор фигачит FSharpFunc<string, FSharpFunc<string, bool>> и пуляет их через new()
I
То есть даже при попытках оптимизировать функции через дополнительный стейт, в итоге получаешь аллокацию FSharpFunc, как ни крути
g
Что-то потерял @gsomix 'а
Я тут.
I
Окей, просто почему-то не выводился твой ник в автоподборе
g
И происходит такое именно из-за авто каррирования. То есть компилятор вместо того, чтобы пользоваться условными Func<string, string, bool> (так как каррирования по сути нет), компилятор фигачит FSharpFunc<string, FSharpFunc<string, bool>> и пуляет их через new()
Но в твоем примере компилятор все оптимизировал. 🤔
I
Нет, там создание FSharpFunc
I
Хотя нигде нет замыканий
g
Нет, там создание FSharpFunc
Это другая проблема, разве нет?
I
Ну, прямой фанк выполнится быстрее просто
I
Плюс аллокации
g
Ну, прямой фанк выполнится быстрее просто
Это нужно проверить.
I
Это нужно проверить.
Я раньше проверял похожий код, фанки работали быстрее чем такие оптимизации каррированных функций
I
Не думаю что что изменилось
g
Я раньше проверял похожий код, фанки работали быстрее чем такие оптимизации каррированных функций
Показывай.
2021 January 06
I
Надо бенчик делать снова, позже тогда)