Let the Scala compiler work for you
summary
Live coding builds a small Compute typeclass with type member that infers instances inductively for List, returns different refined result types per input, and propagates those refined types through calls; literal singleton types require the Typelevel Scala fork and explicit .type annotations but then let values compute types. Also demoed shapeless extensible records (indexing by singleton field names) and referenced frameless DataFrame column checks and GHC type holes; examples compile with a few inference caveats but effectively show the compiler giving actionable, precise feedback.
AI-written summary · about
chapters (9)
- 0:00Introduction
- 0:29What the compiler work for you
- 1:39Type system
- 4:35Live coding
- 10:15Literal types
- 12:07Go literal
- 13:53Shapeless
- 15:58Other languages
- 20:36Questions
