Hi, Python compilers enthusiasts, I recently implemented an (unsound) type inference algorithm for Pythran, and documented it here: http://serge-sans-paille.github.io/pythran-stories/from-pythran-import-typing.html Some of the ideas may be interesting for the community, so I'm sharing it!