Inside a Static Analyser - Type System

Inside a Static Analyser - Type System

NDC Conferences via YouTube Direct link

Back to types

4 of 21

4 of 21

Back to types

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. 1 Intro
  2. 2 What is this about
  3. 3 A static analyser?
  4. 4 Back to types
  5. 5 Representing types
  6. 6 Encoding
  7. 7 One tiny issue
  8. 8 Another tiny issue
  9. 9 Huge problems
  10. 10 Let's estimate
  11. 11 The better system
  12. 12 Structure
  13. 13 Canonical type
  14. 14 Qualifiers
  15. 15 Quality pointer
  16. 16 How it fits together
  17. 17 Profit
  18. 18 Polymorphism?
  19. 19 Another way
  20. 20 Traits
  21. 21 Summary

Never Stop Learning.

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

Someone learning on their laptop while sitting on the floor.