As part of its OpenDreamKit deliverable D5.4 (Make Pythran typing better to improve error information), the Pythran team has written an in-depth article about an unsound type checker.
A project funded by the Horizon 2020
As part of its OpenDreamKit deliverable D5.4 (Make Pythran typing better to improve error information), the Pythran team has written an in-depth article about an unsound type checker.