Black Friday 2024: 25+ Ways to Save on Online Learning
From DOT to Dotty

From DOT to Dotty

Devoxx via YouTube Direct link

Intro

1 of 33
Next

1 of 33

Intro

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. 1 Intro
  2. 2 Background
  3. 3 One Step Back
  4. 4 Why Do Foundations Matter?
  5. 5 Why Not Pick Existing Foundations?
  6. 6 Our Aim
  7. 7 Dependent Types in Code
  8. 8 Foundations: DOT
  9. 9 DOT Types
  10. 10 DOT Syntax in Greek
  11. 11 Definition Type Assignment
  12. 12 Subtyping
  13. 13 Expressiveness
  14. 14 Meta Theory
  15. 15 Programmer Definable Theorems
  16. 16 Bad Bounds
  17. 17 Dealing with it
  18. 18 For Details
  19. 19 Consequences for Language Design
  20. 20 Things To Avoid
  21. 21 What Are Implicit Function Types?
  22. 22 Contextual
  23. 23 Implicit Parameters
  24. 24 Example: Transaction Handling
  25. 25 Can We Do Better?
  26. 26 Towards A Solution
  27. 27 Two Rules for Typing
  28. 28 Revised Example (2)
  29. 29 Efficiency
  30. 30 The Builder Pattem
  31. 31 Scala Implementation
  32. 32 Claim
  33. 33 Summary

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.