Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous

DOI10.1016/j.entcs.2011.02.018zbMath1291.68168OpenAlexW2106742806WikidataQ113318282 ScholiaQ113318282MaRDI QIDQ5166623

Jeremy Yallop, Philip Wadler, Sam Lindley

Publication date: 27 June 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.02.018

zbMATH Keywords

monadsarrowsapplicative functorsidioms

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (7)

Implication via spacetime ⋮ Iterating on multiple collections in synchrony ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Notions of computation as monoids ⋮ Composable Discovery Engines for Interactive Theorem Proving

Cites Work

• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Generalising monads to arrows
• A new notation for arrows
• The arrow calculus
• Advanced Functional Programming
• Applicative programming with effects

This page was built for publication: Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous