Zipper (data structure)
From Wikipedia, the free encyclopedia
Zippers are used in programming (e.g. in functional programming) to solve some problems in a way using notions like “context”, “hole”. It is related to the generalization of notion “derivative” (for types).
