Please log in to watch this conference skillscast.

Haskell is widely cited as an ideal language for building domain specific languages (DSLs). Embedded DSLs are a powerful idiom for building robust interfaces and systems with checkable properties.

During this talk, you will explore the correctness and performance implications of various degrees of DSL embedding, from simple open term-level APIs to free monads. Free monads afford a particularly high degree of expressivity while remaining syntactically convenient. You will discover practical motivating examples and a real-world implementation of undo/redo within a spreadsheet program (AlphaSheets).

YOU MAY ALSO LIKE:

• Safe and Reproducible Deployments with Immutable Infrastructure (in Online Event on 28th May 2020)
• The Secrets of the GHC Garbage Collector (in Online Event on 11th June 2020)
• Lightning Talk: Design Patterns for Difficult Conversations (SkillsCast recorded in October 2019)
• Lightning Talk: Making and Testing Code Generators in Haskell (SkillsCast recorded in October 2019)