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

MaRDI QIDQ3645447zbMATH OpenFDO

Authors Dan Popa

Publication date 18 November 2009

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)

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

Cited in

(5)

• A tutorial on a monadic approach for exppressions evaluation
• 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
• Adaptable software -- modular extensible monadic entry-pointless type checker in Haskell
• Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell

Describes a project that uses

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)