The Essence of Functional Programming
Abstract
This paper explores the use monads to structure functional programs. No prior knowledge of monads or category theory is required.
Related papers
- The Essence of Functional Programming on Semantic Data ESOP 2017
- The Functional Essence of Imperative Binary Search Trees PLDI 2024
- The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl) ICFP 2020
- The essence of the Iterator pattern JFP 2009
- The Essence of Reactivity Haskell 2023
- Note on Algol and Conservatively Extending Functional Programming JFP 1996
- The essence of ornaments JFP 2017
- The Logical Essence of Well-Bracketed Control Flow POPL 2024