Programming Languages and Tools Lab

Tagless-final style is a way to implement DSLs embedded into typed programming languages. It is capable to not only express terms of the DSL, but also its type systems, interpreters, compilers, partial evaluators and optimizations. I'll give an introduction to the technique and show some examples.

Addional materials: 

• https://okmij.org/ftp/tagless-final/index.html
• https://github.com/JacquesCarette/finally-tagless

Speaker: Ekaterina Verbitskaia

Google Meet: https://meet.google.com/myu-dhmz-gvu