zipper

Un zipper es una técnica para representar una estructura de datos agregada de modo que resulte conveniente para escribir programas que recorran la estructura de manera arbitraria y actualicen sus contenidos, especialmente en lenguajes de programación puramente funcionales. El zipper fue descrito por Gérard Huet en 1997. Incluye y generaliza la técnica de búfer de brecha a veces utilizada con arreglos. La técnica del zipper es general en el sentido de que puede adaptarse a listas, árboles y otras estructuras de datos definidas de forma recursiva. Dichas estructuras de datos modificadas suelen denominarse «un árbol con zipper» o «una lista con zipper» para enfatizar que la estructura es conceptualmente un árbol o una lista, mientras que el zipper es un detalle de la implementación. Una explicación para legos sobre un árbol con zipper sería un sistema de archivos de computadora ordinario con operaciones para ir al directorio padre (a menudo cd ..) y la posibilidad de descender (cd subdirectorio). El zipper es el puntero a la ruta actual. Entre bastidores los zippers son eficientes al realizar cambios (funcionales) en una estructura de datos, donde se devuelve una estructura de datos nueva y ligeramente modificada a partir de una operación de edición (en lugar de realizar un cambio en la estructura de datos actual). Ejemplo: recorrido bidireccional de listas Muchas estructuras de datos comunes en ciencias de la computación pueden expresarse como la estructura generada por unas pocas operaciones primitivas de construcción u observación. Estas incluyen la estructura de listas finitas, que puede generarse mediante dos operaciones: