A SkillsCast for this session is not available.
Using a toy language for declarative infrastructure, this talk will explore functional programming techniques for writing domain specific languages.
The talk will start with a single function and demonstrate how to use ADTs to write an embedded DSL and interpreter. You will then discover parser combinators, a monadic DSL for parsing. You will use them to write an interpreter, then extend our program to compile the language into shell commands.
As time permits, you will explore different paths forward for your DSL – you will learn some shortcomings of our embedded DSL and how they motivate the Free monad. You will also discover the motivation for data-types a-la-carte and recursion schemes.
YOU MAY ALSO LIKE:
- Holophrase: Baby’s First DSL (SkillsCast recorded in December 2017)
- F# eXchange 2020 (Online Conference on 21st October 2020)
- Haskell eXchange 2020 (Online Conference on 3rd - 4th November 2020)
- Intro to OCaml (SkillsCast recorded in June 2020)
- Keynote: Haskell is a Great Host (SkillsCast recorded in October 2019)