Implementation...?

• Who? me? :-)

• Possible phases:

  • Experimental type checker written in Python
    • can hide decl from Python in string literals
  • Allow alternate parsers in core Python
    • checked modules could use *.cpy extension
  • Support for type checker in bytecode
  • Rewrite checker in C as part of core Python
  • Add aggressive optimizer

Previous slide

Next slide

Back to first slide

View graphic version