Tagless Final - Part 3 - If only we had a crystal ball! 🔮

In this video we will see one of the main issues with the top-down design which will be mitigated in the next video.

The commit from this video is here: https://github.com/DevInsideYou/tagless-final/commit/0eeeeb2541ff01b88c6c906d15ab766a00192a65

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

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 "Extensible Denotational Language Specifications" paper by Robert Cartwright and Matthias Felleisen: https://pdfs.semanticscholar.org/321c/a540ce3a9beed5db54c8f8047191b8185c50.pdf

This video is part of the following playlist: https://www.youtube.com/playlist?list=PLJGDHERh23x-3_T3Dua6Fwp4KlG0J25DI

Table of Contents: 00:00 Introduction 02:22 Extending with multiplication 09:42 Refactoring 10:43 Extending with division 26:03 The big rewrite 33:46 If only we had a crystal ball 36:47 The benefits of Tagless Final 37:14 Realizing that Option is not enough 39:08 Clean up and commit

Website: https://devinsideyou.com

Patreon: https://patreon.devinsideyou.com Discord: https://discord.devinsideyou.com Twitter: https://twitter.devinsideyou.com Github: https://github.devinsideyou.com LBRY: https://lbry.devinsideyou.com

Install scripts: https://install.devinsideyou.com Giter8 templates: https://g8.devinsideyou.com

Spotify concentration playlist: https://code.radio.devinsideyou.com

Cheers and Happy Coding!

#tf #Scala #tutorial ... https://www.youtube.com/watch?v=3Jmy3AyYZjc