Direct modular evaluation of expressions using the monads and type classes in Haskell

zbMATH Open1199.68045MaRDI QIDQ3645447FDOQ3645447

Authors: Dan Popa 

Publication date: 18 November 2009

Recommendations

• Adaptable software: how to build a modular monadic extensible compiler using the state monad and pseudoconstructors over monadic values
• Modular development of interpreters from semantic building blocks
• scientific article; zbMATH DE number 2000442
• A tutorial on a monadic approach for exppressions evaluation
• scientific article; zbMATH DE number 5944670

zbMATH Keywords

type classesHaskellmodular monadic interpreters

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Software, source code, etc. for problems pertaining to category theory (18-04)

Cited In (5)

• Adaptable software -- modular extensible monadic entry-pointless type checker in Haskell
• Modular development of interpreters from semantic building blocks
• Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
• Adaptable software: how to build a modular monadic extensible compiler using the state monad and pseudoconstructors over monadic values
• A tutorial on a monadic approach for exppressions evaluation

Uses Software

• Haskell

This page was built for publication: Direct modular evaluation of expressions using the monads and type classes in Haskell

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3645447)