Есть ли какие-либо реализации чисто функциональной мягкой структуры данных "кучи" на каком-либо языке?
Быстрый поиск в цифровой библиотеке ACM показывает, что структура мягкой кучи Chazelle, несмотря на то, что она очень интересна, мало изучена, и что устойчивые / функциональные мягкие кучи, таким образом, являются открытой темой исследования.
Итак, я бы сказал, что нет известных подходов для постоянных мягких куч. Описание одного из них было бы результатом, доступным для публикации (это может сводиться к добавлению копирования, в котором вы бы изменили исходную структуру, и выявлению возможностей для совместного использования).