Completed
Static Type Systems
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
The Trouble With Types
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Static: Points in Favor
- 3 Dynamic: Points in Favor
- 4 What is Good Design?
- 5 Elements Of Great Designs
- 6 Example: Bach Fugues
- 7 What Is A Good Language for Design?
- 8 Type Systems Landscape
- 9 Static Type Systems
- 10 (1) My Way or the Highway
- 11 (3) Type it to the Max
- 12 Making Good Use of Nothing
- 13 Other Strengths of Dynamic
- 14 (3) Cutting Corners
- 15 Abstractions
- 16 Types in Scala
- 17 Non-Orthogonal Design
- 18 Too Many Combinations?
- 19 Projections Reduce Dimensionality
- 20 Projections Help Remove Features
- 21 Dot and Dotty
- 22 Types in Dotty
- 23 Modelling Generics
- 24 Making Parameters Public
- 25 Expressing Existentials
- 26 Expressing Higher-Kinded
- 27 In a Nutshell
- 28 Will this Be Scala?
- 29 The Essence of Scala
- 30 Types Are Trouble