Кто-либо знает о библиотеке структуры данных C++, обеспечивающей функциональный (иначе неизменный, или "персистентный" в смысле FP) эквиваленты знакомых структур STL?
"Функциональным" я подразумеваю, что сами объекты неизменны, в то время как модификации к тем объектам возвращают новые объекты, совместно использующие те же внутренности как родительский объект в соответствующих случаях.
Идеально, такая библиотека напомнила бы STL и будет работать хорошо с Повышением. Финикс (протест - я на самом деле не использовал Финикс, но насколько я могу сказать, что он предоставляет много алгоритмов, но никакие структуры данных, если лениво вычисленное изменение в существующей структуре данных не рассчитывает - делает это?)
Я бы посмотрел, содержит ли FC ++ , разработанный Яннисом Смарагдакисом, какие-либо структуры данных. Безусловно, этот проект больше, чем какой-либо другой, направлен на поддержку функционального стиля в C ++.