From Simulacrum to Typeclassic

on YouTube ↗40m

" summary

Simulacrum is a macro annotation code generator that auto-produces implicit summoners, enrichment ops and companion mixins and already appears in Cats; machinist inlines infix operators to eliminate boxing and the runtime allocation of ops objects so hot paths show large speedups; export-hook gives exported derived instances controllable implicit priority levels to avoid unwanted shadowing; imp/summon replaces implicitly with compile-time constants; a proposed Typeclassic umbrella aims to merge these (Simulacrum, machinist, export-hook) and coordinate specialization, IDE support and derivation.

AI-written summary · about

" chapters (12)

1. 0:00Introduction
2. 2:18Implicit summoning
3. 8:09Simulacrum
4. 13:19Performance
5. 18:46Instances
6. 26:45Imp
7. 27:59Timeline
8. 28:45Classification Scheme
9. 29:10Typeclassic
10. 31:22Usage modes
11. 32:57Final thoughts
12. 33:39Other possibilities

" related talks

• 42mAvoiding macros with inline and derivedJosh Suereth · Scala Love in the City 2021
• 31mTYPECLASSES — A TYPE SYSTEM CONSTRUCTAndrea Lattuada · Scalar Conference 2017
• 40mMacros vs TypesLars Hupel, Eugene Burmako · Northeast Scala Symposium 2014
• 31mCool toolz in the Scalaz and Cats toolboxesJan Pustelnik · Scalar 2016
• 29mADVENTURES IN META-PROGRAMMINGDave Gurnell · Scalar Conference 2017
• 53mTaming the context beastPaweł Marks · ScalaCon 2022
• 33mMonocle 3: a peek into the futureJulien Truffaut · Scale By the Bay 2020
• 57mKittens: Shapeless Typeclass Derivation for CatsMiles Sabin · Scala World 2015