Completed
A static analyser?
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Inside a Static Analyser - Type System
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 What is this about
- 3 A static analyser?
- 4 Back to types
- 5 Representing types
- 6 Encoding
- 7 One tiny issue
- 8 Another tiny issue
- 9 Huge problems
- 10 Let's estimate
- 11 The better system
- 12 Structure
- 13 Canonical type
- 14 Qualifiers
- 15 Quality pointer
- 16 How it fits together
- 17 Profit
- 18 Polymorphism?
- 19 Another way
- 20 Traits
- 21 Summary
