B
Про 80 баллов IQ маркетологи наверное добавили.
Size: a a a
2021 September 26
[
Или РЕФАЛ!
A
был еще КуМир
AP
КуМир, это среда для программирования на ШАЯ
A
У меня Бейсик был раньше, чем ШАЯ, но просто он был дома.
FL
Здравствуйте, насколько я понял в haskell (и других функциональных языках) вместо циклов используется рекурсия. Тогда вопрос: что там с переполнением стека? Если у меня, например, есть поток, работающий вечно, или просто некое действие нужно повторить много раз (рекурсия, внутри которой еще несколько рекурсивных функций), то разве моя программа не умрет от переполнения стека?
AP
Основная реализация Хаскеля (GHC) не использует системный стек. Вместо этого, хаскельный стек это просто объект в куче.
FL
У него нет ограничений? Я могу наращивать глубину рекурсии столько, сколько захочу?
AP
У него есть ограничения (в компьютере память ограничена, так что было бы странно, если бы не было), но они намного более гибкие чем у системного стека. Плюс реализация вызова сильно отличается от системных конвенций вызовов: намного дешевле это стоит.
FL
Я имею в виду условно бесконечна) Я вас понял, спасибо
[
в хаскеле есть оптимизация хвостового вызова. которая не наращивает стек, а из-за ленивости хаскель умеет превращать некоторые нехвостовые вызовы в хвостовые
[
оптимизация хвостового вызова это когда
return foo();
оптимизируется до
goto foo
и адрес возврата не ложится на стек
return foo();
оптимизируется до
goto foo
и адрес возврата не ложится на стек
[
так что в хаскеле нет никаких проблем с бесконечной рекурсией
FL
Хорошо, спасибо)
AL
Удивительная импликация
AL
Не бывает рекурсии кроме хвостовой?
[
я ответил на вопрос человека
[
а нехвостовая рекурсия в языках с циклами записывается с использованием структур данных: стека, очереди
[
которые так же как и несистемный стек в хаскеле, разбухают в куче и могут лопнуть