Tagless Final - Part 1 - What is Tagless Final?

This video is an overview of the Tagless Final (TF) approach.

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

The False Hope of Managing Effects with Tagless Final in Scala (TF Critique): https://degoes.net/articles/tagless-horror

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 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: 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=XJ2NjqkWdck