Skip to main content
Article thumbnail
Location of Repository

Merging monads and folds for functional programming

By E. Meijer and J.T. Jeuring

Abstract

These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after the decomposition of the value they consume. Monads structure programs after the computation of the value they produce. Our programs abstract both from the recursive processing of their input as well as from the side-effects in computing their output. We show how generalised monadic folds aid in calculating an efficient graph reduction engine from an inefficient specification

Topics: Wiskunde en Informatica
Publisher: Springer
Year: 1995
OAI identifier: oai:dspace.library.uu.nl:1874/20910
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dspace.library.uu.nl:80... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.