Oleg Kabanov
Есть интересная книжка: Чисто функциональные структуры данных
в ней описываются структуры данных и алгоритмы для немутабельных структур
утверждается что чаще всего можно реализовать структуры не медленнее чем мутабельные и алгоримы в императивном стиле, но порой это не эффективно
Если можно не париться с проблемами многопоточности, которые так невовремя появляются всегда - почему не пользоваться этим инструментом?
Там большинство книги написана до появления статьи Багвела про HAMT. После того как вышла эта статья, вся эта разнообразная петрушка стала ненужна, только HAMT и его вариации актуальны