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