The Many Shapes of Polymorphism

The Many Shapes of Polymorphism

Devoxx via YouTube Direct link

Mix subtype polymorphism with generic

15 of 23

15 of 23

Mix subtype polymorphism with generic

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

The Many Shapes of Polymorphism

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

  1. 1 Intro
  2. 2 Optical Illusion
  3. 3 Why do we use Types in programming languages?
  4. 4 A type system is a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute.'
  5. 5 The need for polymorphism
  6. 6 There are new discoveries in type systems
  7. 7 Hypothesis: the way the Polymorphism is used defines the shape of our code
  8. 8 Let's start working
  9. 9 Let's try (real) subtype polymorphism
  10. 10 We're mixing domain logic and behaviour
  11. 11 Adapter Pattern
  12. 12 Ad-Hoc polymorphism
  13. 13 Type class cannot provide new types at runtime
  14. 14 Mixing different types of polymorphism
  15. 15 Mix subtype polymorphism with generic
  16. 16 Mix generic polymorphism with ad-hoc?
  17. 17 Polyglot programming
  18. 18 Can type classes replace subtype polymorphism?
  19. 19 Are type classes only for Functional Programming language?
  20. 20 Addendum
  21. 21 Thank you for your time Feedback please!
  22. 22 Scala is a bridge from OOP to FP world
  23. 23 Type inference and subtypes

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.