Completed
Consequences for Language Design
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
