talk · community record
Understanding Scala's Type System
A tour of Scala's type system covering all types of types: nominal, structural, singleton, refinement, higher-kinded, parameterized, bounded, abstract, path-dependent, union, intersection types, and variance. Also covers how the type system is evolving in Scala 3.
01
Connections
6 relationships
aboutScalaTestproject ↗aboutScalacticproject ↗affiliated withArtimacompany ↗presented · incomingBill Vennersperson ↗presented atA Tour of Caliban: FP GraphQL in Scala & Understanding Scala's Type Systemevent ↗recorded asSF Scala–A Tour of Caliban: FP GraphQL in Scala & Understanding Scala's Type Systemvideo ↗