In this video we will see how useful it is to make less decisions in the DSLs and allow the interpreters to drive ALL the necessary design details in a type-safe way so that the DSLs and our programs can remain untouched when the interpreters change.

The commit from this (technically from the next) video is here:
https://github.com/DevInsideYou/tagless-final/commit/f266873ffe98952e1167537ed9256b9172e19242

The code for the entire series is here:
https://github.com/DevInsideYou/tagless-final

The Cats' Functor Hierarchy is here:
https://cdn.rawgit.com/tpolecat/cats-infographic/master/cats.svg

Structure and Interpretation of Computer Programs (SICP):
https://web.mit.edu/alexmv/6.037/sicp.pdf

Oleg Kiselyov's website:
http://okmij.org/ftp/

The "Typed Tagless Final Interpreters" paper from Oleg Kiselyov's website:
http://okmij.org/ftp/tagless-final/course/lecture.pdf

If you decide to follow along with the paper, this might help:
https://gist.github.com/OlivierBlanvillain/48bb5c66dbb0557da50465809564ee80

The…