Completed
There are new discoveries in type systems
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
