A Catamorphism (κατά "downwards" and μορφή "form, shape") on a type T is a function of type T → U that destruct and object of type T according to the structure of T, calls itself recursively of any components of T that are also of type T and combines this recursive result with the remaining components of T to a U.
And it's just an official name of fold/reduce on higher kinded types.
For example getting the prod from list of integers is Catamorphism on the list:
Catamorphism in programming can be used to fold complex structures (lists, tress, sets) into their representation via different type. As an example list catamorphism can be described as
And if we want to fold the list into prod from elements we would use:
And if we want to fold the list into prod from elements we would use:
No comments:
Post a Comment