NK
Не, это не дело
Size: a a a
2018 July 03
NK
Не со всеми рекурсиями такое пройдет
ЮБ
Скала тоже разворачивает, если это возможно
ПФ
не со всеми, да
NK
continuation passing style - я так понял это самый продвинутый алгоритм
ПФ
ID:414983998
continuation passing style - я так понял это самый продвинутый алгоритм
но там есть вероятность хипполюшна же )
NK
Есть, поэтому по хорошему нужно давать возможность делать это мануально для каждого отдельного метода, через декораторы например, если язык позволяет
ПФ
ну вот в котлине есть ключевое слово tailrec
NK
И это правильно
OS
ID:414983998
Кстати, тут недавно с Алоном Закаем обсуждали тему tail call optimization. Как оказалось такое умеет делать только babel (весьма топорно, просто разворачивая в цикл со вспомогательным стеком), Closure и хаскель, GCC со специальным флагом (C++ спека этого не требует). И по сути все. Java не делает, при чем по соображениям безопасности, так как меняется контекст исполнения. Я так понимаю граль тоже?
да, насколько я понимаю пока не делает в общем случае точно
OS
ID:414983998
Просто вы тут марсианские темы обсуждаете) граль пока сугубо для гиков)
вот это меня кстати слегка расстраивает )
OS
всяко же можно погонять свои performance тесты на грале
OS
не в специальных бенчмарках ковыряться, а просто вот взять и на нормальном проекте позапускать
AT
ID:414983998
Кстати, тут недавно с Алоном Закаем обсуждали тему tail call optimization. Как оказалось такое умеет делать только babel (весьма топорно, просто разворачивая в цикл со вспомогательным стеком), Closure и хаскель, GCC со специальным флагом (C++ спека этого не требует). И по сути все. Java не делает, при чем по соображениям безопасности, так как меняется контекст исполнения. Я так понимаю граль тоже?
в Clojure нет TCO
NK
AT
ID:414983998
Возможно. Я имел ввиду это: https://github.com/cjfrisz/clojure-tco
грязь 😱, хотя забавно видеть, что можно сделать на макросах.
но судя по всему эта штука не пользуется особой популярностью
но судя по всему эта штука не пользуется особой популярностью
NK
Клозюра вообще не пользуется популярностью, хотя зря
AT
ID:414983998
Клозюра вообще не пользуется популярностью, хотя зря
ну как сказать, не самый популярный язык, но вроде довольно живой и у нас популярностью вполне пользуется =)