Completed
Expressiveness
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
From DOT to Dotty
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Background
- 3 One Step Back
- 4 Why Do Foundations Matter?
- 5 Why Not Pick Existing Foundations?
- 6 Our Aim
- 7 Dependent Types in Code
- 8 Foundations: DOT
- 9 DOT Types
- 10 DOT Syntax in Greek
- 11 Definition Type Assignment
- 12 Subtyping
- 13 Expressiveness
- 14 Meta Theory
- 15 Programmer Definable Theorems
- 16 Bad Bounds
- 17 Dealing with it
- 18 For Details
- 19 Consequences for Language Design
- 20 Things To Avoid
- 21 What Are Implicit Function Types?
- 22 Contextual
- 23 Implicit Parameters
- 24 Example: Transaction Handling
- 25 Can We Do Better?
- 26 Towards A Solution
- 27 Two Rules for Typing
- 28 Revised Example (2)
- 29 Efficiency
- 30 The Builder Pattem
- 31 Scala Implementation
- 32 Claim
- 33 Summary
