Existential Types - Make OOP Great Again

Existential Types - Make OOP Great Again

Scala Days Conferences via YouTube Direct link

Intro

1 of 38

1 of 38

Intro

Class Central Classrooms beta

YouTube playlists curated by Class Central.

Classroom Contents

Existential Types - Make OOP Great Again

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

  1. 1 Intro
  2. 2 Outline
  3. 3 Complexity
  4. 4 Modularization and generalization
  5. 5 1.2 Square of abstraction
  6. 6 Scala square of abstraction (1)
  7. 7 Value parameters
  8. 8 Scala square of abstraction (2)
  9. 9 Abstract value members
  10. 10 Scala square of abstraction (3)
  11. 11 Parameters vs abstract members
  12. 12 Scala square of abstraction (4)
  13. 13 Scala square of abstraction (5)
  14. 14 Use cases
  15. 15 2.1 Encapsulation
  16. 16 Scala interface for nix files API
  17. 17 Hiding the File type
  18. 18 Why is it different from using an opaque type?
  19. 19 Encapsulation - summary
  20. 20 User interface Component
  21. 21 Counter component
  22. 22 Container component
  23. 23 Redesign Component with abstract type members
  24. 24 Tabs - view implementation
  25. 25 Modularization - summary
  26. 26 Naive solution - XYPlot
  27. 27 Solution with abstract type members
  28. 28 Type families - summary
  29. 29 Questions?
  30. 30 Evaluating programs
  31. 31 Generalizing interpreters
  32. 32 Alternative encoding: language definition
  33. 33 Alternative encoding: evaluation interpreter
  34. 34 Alternative encoding: interpreting programs
  35. 35 Finally tagless encoding - extensibility
  36. 36 Type parameters vs type members (1)
  37. 37 Finally tagless encoding - summary
  38. 38 Tabs component implementation

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.