Sciweavers

HASKELL
2008
ACM

Making monads first-class with template haskell

13 years 4 months ago
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
Pericles S. Kariotis, Adam M. Procter, William L.
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2008
Where HASKELL
Authors Pericles S. Kariotis, Adam M. Procter, William L. Harrison
Comments (0)