Completed
Intro
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Constraint Typing with Boolean Algebra - Scala Days Seattle
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Programming without constraints
- 3 Compile time enforced constraints?
- 4 Refinement example: underconstrained
- 5 "Traditional" Refinement System Insight
- 6 Singleton Constraint Typing: Test
- 7 First Implement the Computation
- 8 Implement Compile Time Verification
- 9 Black Box to White Box Paradigm Shift
- 10 Embracing Literal Types
- 11 Data Type with Internal Structure (w/ error)
- 12 Summarizing the Key Ideas
