Navigation section
bird-meertens
About this tag
The Bird-Meertens formalism, also known as Bird-Meertens Formalism, is a calculus for deriving programs from specifications by equational reasoning, particularly in functional programming. It is closely associated with the concept of folds (or bananas), which are catamorphic recursion schemes used in list processing. This tag covers discussions of the formalism, its applications in higher-order list processing, and related topics such as the C9 Lectures series by Dr. Ralf Lämmel, which explores advanced functional programming concepts including folds and recursion schemes.
-
Windows 7 C9 Lectures: Dr. Ralf Lämmel - Going Bananas
Dr. Ralf Lämmel returns for an exploration of folds, aka bananas. This is lecture 5 in his C9 Lecture series covering advanced functional programming topics. Welcome back, Ralf! We're so happy to have you here! Why bananas, Ralf? Banana is functional programming slang for "fold"—an application...- News
- Thread
- advanced topics algebraic types banana bird-meertens catamorphism computer science data processing foldr folds functional programming haskell higher-order functions lecture list processing monoids programming concepts ralf lämmel recursion source code
- Replies: 0
- Forum: Live RSS Feeds