ty is one of the great examples of a challenging project that is simple to contribute to. During last year I contributed to it and I learned a lot. About type checking, structuring a complex project and taming complexity.

Slides #

ty: Adventures of type-checking Python in Rust