Personal tools


From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Created a stub with explanation of several terms in a table)
(Added "Oleg rating")

Revision as of 22:35, 16 March 2011

This article is a stub. You can help by expanding it.

An overview of Haskell related terms

See also Abbreviations

Anamorphism An unfold
Catamorphism Fold; any for-each loop can be represented as a catamorphism
Finally tagless  ???
Forgetful functor Given some object with structure as input, some or all of the object's structure or properties is 'forgotten' in the output
Hylomorphism Combination of fold and unfold; every for-loop (without early exits) can be represented as a hylomorphism
Oleg rating A measure of ability to do type system trickery :)
Tail recursion A recursive function is tail recursive if the final result of the recursive call is the final result of the function itself.
Tying the knot Building a cyclic data structure
Unpointed types Types that do not have bottom as an inhabitant