The Trouble With Types

The Trouble With Types

Strange Loop Conference via YouTube Direct link

Expressing Higher-Kinded

26 of 30

26 of 30

Expressing Higher-Kinded

Class Central Classrooms beta

YouTube playlists curated by Class Central.

Classroom Contents

The Trouble With Types

Automatically move to the next video in the Classroom when playback concludes

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

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.