a thoughtful web.
Good ideas and conversation. No ads, no tracking.   Login or Take a Tour!
comment by o11c
o11c  ·  3410 days ago  ·  link  ·    ·  parent  ·  post: What are you working on today?

I'm working on the mypy static type checker, for PEP 484

Today I rebased two interdependent patchsets (testsuite driver enhancements and xml reports) into a different order. I'm also working on a separate patchset to efficiently add column-tracking info and generally improve the error message system.

I don't usually like having so many outstanding patchsets, but the maintainer is on vacation.





beezneez  ·  3408 days ago  ·  link  ·  

Awesome. I think reliable type checking in python is going to make it hugely interesting to JVM fanatics.

o11c  ·  3408 days ago  ·  link  ·  

Note that the type-checking has no effect at runtime, it is to make it easier to verify correctness and improve autocompletion in IDEs.