169 похожих чатов

В строгих языках типа окамла map поверх списков представлен в

двух ипостасях: хвостово-рекурсивный, который разворачивает список, и не хвостово-рекурсивный, который список не разворачивает. Есть какой-то обобщенный способ писать хвостово-рекурсивные мапы для всех типов данных (которые поддерживают данную операцию)? Я покопался в исходниках библиотеки окмала и не нашел там хвостово-рекурсивного map даже для обычных деревьев

2 ответов

3 просмотра

Нет такого способа. Хвостовая рекурсия использует O(1) памяти. Для обработки деревьев требуется O(высота) памяти - надо хранить структуру части дерева, которую ещё не отобразили. Разворот списка позволяет использовать кучу вместо стека, расходуя производительность взамен стека. Не-хвосто-рекурсивный вариант подходит только для коротких (высота ограничена) списков, но может быть чуть быстрее. У списка необработанная часть тривиальна, вот и возможно такое.

CPS вас не спасет?

Похожие вопросы

Обсуждают сегодня

Вопрос по диагностике ошибок (я знаю в чем, в данном конкретном примере, я знаю, как исправить, пример модельный, понятно, что в реальности бывает намного запутаннее). module...
ⰄⰎⰋⰐⰐⰑⰛⰤⰧⰧⰩⰄ ⰊⰑⰁⰓⰡⰛⰦⰕⰫ
10
А чем вам питонисты не угодили?😂
.
79
Есть какой-нибудь для Delphi/FPC T*Compression(Decompression)Stream на базе LZ4/Zstd/любой другой быстрый(и хорошо сжимающий) алгоритм А ещё лучше в pure pascal А ещё лучше од...
notme
48
Есть предложения, как подобное можно упростить?
Hemul GM
12
type TObj = object procedure Init; virtual; end; TObj1 = object(TObj) procedure Init; override; end; procedure TObj1.Init; begin inherited; end; procedur...
Alexander 👋
29
У меня вопросик назрел. Почему, создав класс без наследования и реализации деструктора Destroy, деструктор не вызывался при free. Потом указал наследование от tobject и overri...
Сергей Бычков
9
@y0zhig @shizzard А можно я опишу цель и может вообще ерланг мне не подходит. На текущий момент как я понимаю у ерланга есть легковесные потоки и задача выполняется в каком т...
Дмитрий Спиридонов
5
Всем привет, написал код ниже, но он выдает сегфолт, в чем причина? #include <stdio.h> #include <stdlib.h> #include <string.h> struct product { char *name; float price; };...
buzz базз
86
Такой вопросец - есть функция function MySuperDuperConcat(const a: array of AnsiString): AnsiString; Как мне в её теле сделать вот так? Result:=Concat(a); А не грустный вариан...
notme
15
just use free version ?? pycharm has a free version
Fan / Ac
9
Карта сайта