typed tagless final interpreters - scala (slides)

[Suhail Shergill]

https://docs.google.com/presentation/d/13SWwXkzTj1YwPK66of_o9bGk7MLompJZlJasEe5J5Co/edit?usp=sharing

let me know if there are any issues accessing/commenting on the presentation

--
Suhail

[Suhail Shergill]

one of the criticisms of the scala port of the 'tagless final' style was wrt readability. specifically, the 'final' expressions were less readable than the 'initial' form of the expressions.

as it turns out, with a little bit of boilerplate code, the 'final' style's readability can be improved to match that of the 'initial' style. see the latest revision(s) here: https://gist.github.com/suhailshergill/ad4392eda1a55b29303f/revisions