Tagless Final - Part 1 - What is Tagless Final?

DevInsideYou introduces the Tagless Final pattern in Scala, explaining its theoretical background and how it compares to other approaches.

This video is an overview of the Tagless Final (TF) approach. The code for the entire series is here: github.com/DevInsideYou/tagless-final The False Hope of Managing Effects with Tagless Final in Scala (TF Critique): degoes.net/articles/tagless-horror Structure and Interpretation of Computer Programs (SICP): web.mit.edu/alexmv/6.037/sicp.pdf Oleg Kiselyov's website: okmij.org/ftp/ The "Typed Tagless Final Interpreters" paper from Oleg Kiselyov's website: okmij.org/ftp/tagless-final/course/lecture.pdf If you decide to follow along with the paper, this might help: gist.github.com/OlivierBlanvillain/48bb5c66dbb0557da50465809… The "Extensible Denotational Language Specifications" paper by Robert Cartwright and Matthias Felleisen: pdfs.semanticscholar.org/321c/a540ce3a9beed5db54c8f8047191b8… This video is part of the following playlist: youtube.com/playlist?list=PLJGDHERh23x-3_T3Dua6Fwp4KlG0J25DI Table of Contents: 00:00 Introduction 04:20 What problem does TF solve? 06:36 Metalinguistic Abstraction (SICP) 11:14 Tagged initial embedding 15:40 Tagless initial embedding 16:22 Origin of the "tagless final" name 16:45 What is tagless final? 18:08 Misc Website: devinsideyou.com Patreon: patreon.devinsideyou.com Discord: discord.devinsideyou.com Telegram: telegram.devinsideyou.com Twitter: twitter.devinsideyou.com GitHub: github.devinsideyou.com LBRY: lbry.devinsideyou.com Install scripts: install.devinsideyou.com Giter8 templates: g8.devinsideyou.com Spotify concentration playlist: code.radio.devinsideyou.com Cheers and Happy Coding! #tf #Scala #tutorial