Merging Monads and Folds for Functional Programming

Diese Ausarbeitung behandelt den gleichzeitigen Gebrauch von generalisierten Fold-Operatoren und Monaden, um Programme bei der funktionalen Programmierung zu strukturieren. Generalisierte Fold-Operatoren strukturieren Programme, indem die benutzten Werte abgebaut werden, und zwar sowohl bei der Bearbeitung vom Input als auch bei der Output Überprüfung. Es wird gezeigt, wie generalisierte monadische Folds dazu beitragen, eine effiziente Graphenreduktion durchzuführen.