LambdaConf 2015 - Finally Tagless DSLs and MTL   Joseph Abrahamson
Channel: Confreaks
Date: 2016-01-05

Finally Tagless DSLs are a DSL embedding technique pioneered by Oleg Kiselyov, Jaques Carrette, and Chung-Chieh Shan that is in some sense "dual" to the notions of free-monad interpreters. MTL is a very popular monad library in Haskell which just so happens to be, unbeknownst to most, a Finally Tagless DSL itself. This talk explores what the Finally Tagless DSL style offers and shows you can use that concept to extend your effect-typing vocabulary in MTL.

Help us caption & translate this video!

http://amara.org/v/HdYG/