Definition of "anamorphism"

(functional programming) A generalization of the list-producing unfolds known from functional programming to arbitrary abstract data types that can be described as final coalgebras.  examples