Completed
Coherence Rules Out Ambiguities
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
What to Leave Implicit
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Traditional ways to express context
- 3 The Functional Way
- 4 Functional is Good
- 5 Ground Rules
- 6 Implicit Classes
- 7 Reasoning Footprint of Implicitness
- 8 Extension Methods
- 9 Late Tralt Implementation
- 10 What about simple conversions?
- 11 Anti Patterns
- 12 Implicit Parameters - Use Cases Implicit parameters can
- 13 Prove Theorems
- 14 Establish Context
- 15 Implement Type Classes
- 16 Tighten Rules for Implicit Conversions
- 17 Lazy Implicits
- 18 Multiple Implicit Parameter Lists
- 19 Coherence Rules Out Ambiguities
- 20 Parametricity
- 21 Implicit Function Types
- 22 Towards a solution
- 23 Two Rules for Typing
- 24 Revised Example
- 25 Efficiency
- 26 The Reader Monad
- 27 An encore: The Builder Pattern
- 28 Scala Implementation
