Tagless Final for Humans

on YouTube ↗21m

" summary

Claims that tagless final buys real extensibility but often burdens users, and demonstrates a Scala encoding that makes programs first-class values and hides high-kinded clutter. Uses Scala features subtyping, type members, path-dependent types and extension methods to build a UI DSL whose console interpreter runs (demo prints "Heck yes"), and shows same programs can target web or mobile interpreters. Concludes it’s worth in libraries and cross-platform UIs but usually overkill in application code.

AI-written summary · about

" chapters (9)

1. 0:00Introduction
2. 1:52Problems with tagless final
3. 3:17Core concepts
4. 7:29Making it approachable
5. 10:18Five-step plan
6. 16:43Benefits
7. 18:08When to use it
8. 19:56Library author best practices
9. 20:38Q&A

" related talks

• 35mBuilding a Tagless Final DSL for WebGL in ScalaLuka Jacobowitz · Scale By the Bay 2017
• 33mExtensible Effects: A Leaner Cake for Purely Functional CodeEdmund Noble · Typelevel Summit NYC 2017
• 33mAnalyzing Functional ProgramsDavid Cleaver · Scale By the Bay 2017
• 49mTen Cool Things You Can Do With Scala 3Jon Pretty · Scala Italy 2018
• 29mWhy Scala 3 will be awesomePiotr Gołębiewski · Scala Love in the City 2021
• 24mLet the Scala compiler work for youAdelbert Chang · Typelevel Summit NYC 2017
• 44mFunctional Interpreters and YouMark Mynsted · Scala Days New York 2018
• 30mLessons Learned from 15 Years of Scala in the WildDean Wampler · Scale By the Bay 2021