Making monads first-class with template haskell

Monads as an organizing principle for programming and semantics are notoriously difficult to grasp, yet they are a central and powerraction in Haskell. This paper introduces a domain-specific language, MonadLab, that simplifies the construction of monads, and describes its implementation in Template Haskell. MonadLab makes monad construction truly first class, meaning that arcane theoretical issues with respect to monad transformers are completely hidden from the programmer. The motivation behind the design of MonadLab is to make monadic programming in Haskell simpler while providing a tool for non-Haskell experts that will asm in understanding this powerful abstraction. Categories and Subject Descriptors D.3.3 [Software]: Programming Languages General Terms Languages, Design Keywords Staged Programming, Monads, Domain-specific Languages

• Type: Conference
• Year: 2008
• Where: HASKELL
• Authors: Pericles S. Kariotis, Adam M. Procter, William L. Harrison
• Keywords: Arcane Theoretical Issues, Domain-specific Languages, HASKELL 2008, Programming Languages, Template Haskell