Completed
Expressing Higher-Kinded
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