Size: a a a

2020 July 03

JS

Jerzy Syrowiecki in fprog_spb
Yan Shkurinskiy
Тут же вопрос - в чем принципиальная разница
оптимизация хвостового вызова = замена хвостового вызова на безусловный переход

недоделанная оптимизация хвостовой рекурсии = замена хвостовой рекурсии на цикл
источник

AI

Andrey Ivanov in fprog_spb
с точки зрения семантики - ни в чем
источник

YS

Yan Shkurinskiy in fprog_spb
Jerzy Syrowiecki
оптимизация хвостового вызова = замена хвостового вызова на безусловный переход

недоделанная оптимизация хвостовой рекурсии = замена хвостовой рекурсии на цикл
Я вроде то же написал, разве нет?
источник

YS

Yan Shkurinskiy in fprog_spb
Без подробностей правда
источник

YS

Yan Shkurinskiy in fprog_spb
Я так понял - в степени сложности реализации в языке Андрея и тех, что он упоминал. Т.к. видимо там сложность не количественная, а качественная
источник

AI

Andrey Ivanov in fprog_spb
потому что тот же хвостовой вызов одной функции - хвостовую рекурсию тривиально разбить на взаимный вызов двумя функциями (с одинаковым телом) друг друга, и превратить хвостовую рекурсию в перекрестный хвостовой вызов
источник

JS

Jerzy Syrowiecki in fprog_spb
Yan Shkurinskiy
Без подробностей правда
так суть в подробностях
источник

YS

Yan Shkurinskiy in fprog_spb
Jerzy Syrowiecki
так суть в подробностях
что не делает моё высказывание неверным!)
источник

YS

Yan Shkurinskiy in fprog_spb
но я понял, да
источник

JS

Jerzy Syrowiecki in fprog_spb
Yan Shkurinskiy
Я так понял - в степени сложности реализации в языке Андрея и тех, что он упоминал. Т.к. видимо там сложность не количественная, а качественная
не только сложность. некоторые языки просто не хотят TCO, потому что хотят разматывать стэк для отладки. например, такое было официальное объяснение Гвидо, почему TCO не будет в Питоне
источник

YS

Yan Shkurinskiy in fprog_spb
Об этом тоже упоминал Андрей)
источник

YS

Yan Shkurinskiy in fprog_spb
Я поэтому и сделал пояснение - в языке Андрея
источник

YS

Yan Shkurinskiy in fprog_spb
И языках типа кложи, о которых он говорил
источник

YS

Yan Shkurinskiy in fprog_spb
Хотя вроде же в кложе нет TCO, верно?
источник

ЕХ

Евгений Холкин... in fprog_spb
А что тогда есть "доделанная оптимизация хвостовой рекурсии"?
источник

JS

Jerzy Syrowiecki in fprog_spb
Евгений Холкин
А что тогда есть "доделанная оптимизация хвостовой рекурсии"?
оптимизация всех хвостовых вызовов
источник

YS

Yan Shkurinskiy in fprog_spb
видимо "оптимизация хвостового вызова"
источник

AI

Andrey Ivanov in fprog_spb
когда она часть TCO
источник

JS

Jerzy Syrowiecki in fprog_spb
Yan Shkurinskiy
Хотя вроде же в кложе нет TCO, верно?
фу, неправильный лисп
источник

YS

Yan Shkurinskiy in fprog_spb
Jerzy Syrowiecki
фу, неправильный лисп
неправильный хаскель с:
источник