Erlang estructuras de datos persistentes

Question

Como he entendido, cuando crea una nueva lista con una expresión como la siguiente, Erlang no copia L1, simplemente copia H.

L2 = [H|L1] 

¿Tiene Erlang tiene una estructura de datos persistentes (ver Persistent data structure) para dict, es decir, al agregar/eliminar/modificar los nodos en el árbol sólo unos pocos elementos se copian (como en Clojure)?

Answer 1

Ha malinterpretado la situación al compilar una lista con [H|T]. Es como usted dice que T no se copia pero tampoco es H. Todo lo que sucede es que una nueva celda de lista se antepone a T con una referencia a H como su encabezado (su cola es T). Al trabajar con listas, los únicos bits que se crean son las celdas de la lista real y nunca los datos en cada celda.

Lo mismo ocurre cuando se trabaja con dict. Cuando modifica (agrega/elimina elementos) en el dict, solo se modifica la estructura real dict y no los datos reales en el dict. También es inteligente para copiar solo la estructura dict que sea necesaria para realizar la modificación.

Entonces, sí, Erlang tiene estructuras de datos persistentes. En ese sentido, clojure es como Erlang (estuvimos mucho tiempo atrás).

Answer 2

En mi experiencia, las estructuras de datos para el módulo de la biblioteca no se degradan en el rendimiento o la presión de la memoria cuando se hacen más grandes.

Para un dict, utiliza una tabla hash dinámica como estructura interna de datos y el trabajo se realiza esencialmente solo en el depósito donde se realiza la modificación.

miré también en el módulo gb_trees donde me encontré con el siguiente comentario:

El comportamiento es logarítmica (como debe ser).

Y gb_trees son generalmente bastante rápidos, así que estoy bastante seguro de que no se están realizando muchas copias.

Generalmente, si implementa estructuras de datos como estas en un lenguaje como Erlang, se ocupa de los problemas de copia, por lo que no hay necesidad de preocuparse por las funciones generales de la biblioteca.

---

vuelvo a leer el artículo sobre estructuras de datos persistentes: en el sentido de este artículo, las estructuras de datos de Erlang son totalmente persistente y también confluently persistente.