Algebraic Design of DSLs

Please log in to watch this conference skillscast.

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:

• Keynote — Haskell: What To Do When Success Can't Be Avoided (SkillsCast recorded in November 2021)
• Designing and Verifying Programs with Formal Specification (SkillsCast recorded in November 2021)