PRETTY LITTLE COMPILERS

on YouTube ↗32m

" summary

An SBT plugin is built to read a git-tracked asyncAPI/schema repo and generate Scala ADTs, JSON codecs and ScalaCheck generators; proof-of-concept appears in two weeks and the finished tool in about six weeks. CI-run round-trip property tests serialize production objects to schema objects and back both ways, surfacing typos and mismatches until schemas and code converge. Code generation uses recursion-schemes and contravariant printer combinators to emit source; the workflow eliminates sync delays so teams produce interoperable code minutes after agreeing a schema.

AI-written summary · about

" chapters (13)

1. 0:00Introduction
2. 1:47Outdated schemas problem
3. 3:10Internal APIs need contracts
4. 4:34Schema compiler defined
5. 6:03Recursion schemes
6. 8:10Contravariant functor examples
7. 13:33Implementation story
8. 16:02SBT plugin proof
9. 18:55From POC to production
10. 19:59Code generators
11. 24:10Contravariant functor challenges
12. 28:48Key takeaways
13. 30:11Q&A

" related talks

• 32mTestable Compiler Plugin Development in Scala 3Jack Viers · Scala Days 2023 Seattle
• 31m5 Things you Need to Know About Scala CompilationIulian Dragos · Scala Days New York 2018
• 44mMetaprogramming 2.0Eugene Burmako · Scala Days Berlin 2016
• 21mReasonable Scala CompilerEugene Burmako · Scale By the Bay 2017
• 40mIntegrating IDEs with Dotty the experimental Scala compilerGuillaume Martres · Scala Days Berlin 2018
• 45mFuture proofing Scala the TASTY intermediate repGuillaume Martres · Scala Days Lausanne 2019
• 38mGenerative Programming and VerificationNada Amin · EuroClojure 2017
• 01h 09mCompilers are DatabasesMartin Odersky · JVM Language Summit 2015