Starkiller: A Static Type Inferencer for Python

Click here to start the Slideshow




Created on Monday 13 August 2001 by Michael Salib

Table of Contents
  1. Starkiller
  2. Overview
  3. I. Python . . .
  4. More snake time
  5. Type inference
  6. Cartesian Product Algorithm
  7. CPA (part 2)
  8. Why Python makes TI hard
  9. Harder Still . . .
  10. Still Harder . . .
  11. II. Starkiller
  12. Goals
  13. Design
  14. Being Insensitive
  15. OOPs!
  16. Problem: Lexical Scoping
  17. New Idea: Lexical Scoping
  18. III. Challenges & Future Work
  19. Data Polymorphism
  20. Data Polymorphism (part 2)
  21. Narcissism
  22. Rollback
  23. Incremental Analysis
  24. Force Feedback
  25. Partial Evaluation
  26. Narcissim 2: PE to the rescue!
  27. Output?