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:

• What's in a Functional Compiler? (SkillsCast recorded in July 2020)
• The Secrets of the GHC Garbage Collector (SkillsCast recorded in June 2020)