Please log in to watch this conference skillscast.
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: