ПФ
при записи оно выглядит как будто бы это адовейший перфоманс хит
но на самом деле там со временем срабатывает оптимизация, которая его выкидывает?
Size: a a a
2018 August 08
ПФ
а, ну так это Тагир использовал в StreamEx
ПФ
В C2 кидалово исклюючения элиминейтится
OC
факториал может и не оптимизироваться)
OS
мне кажется основная проблема в том что tailrec — это допольнительный кейворд
ПФ
мне кажется основная проблема в том что tailrec — это допольнительный кейворд
да. Но его можно пытаться подставить за человека
OC
грубо говоря, у тебя есть функция
вызвать_метод() { try() { вызвать обычным способом } catch { запомнить что это tail call, что-то сделать }}
вызвать_метод() { try() { вызвать обычным способом } catch { запомнить что это tail call, что-то сделать }}
OS
а как?
OS
это про подставить за человека
ПФ
а как?
собственно если сейчас написать в котлине факториал и обавить туда тейлрек — он скажет что извини, не хвосторекурсивно, не оптимизирую
OC
если при обработке экзепшена TailCallException будет еще один tail call и еще один экзепшен, который цепанет все тот же самый код, оно может все это и не вывезти. А может и вывезти. Кто знает?)
ПФ
значит можно пытаться подставить всюду и если не хвосторекурсивно на самом деле —не включать
ПФ
если при обработке экзепшена TailCallException будет еще один tail call и еще один экзепшен, который цепанет все тот же самый код, оно может все это и не вывезти. А может и вывезти. Кто знает?)
оптимизировать хвостовую рекурсию кидания исключения в конструкторе?
ПФ
public TailCallException(String reason){throw new TailCallException(reason);}OC
хз, я не знаю как эта оптимизация по элиминации экзепшенов работает)
ПФ
а как?
Продолжая отвечать на вопрос — если мы можем представить себе одну переменную, которая сможет хранить состояние нашего рекурсивного вызова — значит можно оптимизировать
ПФ
потому можно усложнить до двух переменных
OC
если начнут кдиаться самые настоящие экзепшены, может мало не показаться. Даже если с конструктором оно будет формально корректно работать
ПФ
одна для состояния, другая для проверки условия
ПФ
Теперь у меня там нет ни одной новости 😞