@fyrfaras@imbl@Elizafox it creates far too much busywork for the amount of bugs it finds. this has the added effect of giving python typing a bad reputation
@Elizafox@fyrfaras@imbl no, that's not my issue. i reluctantly went with python instead of ocaml years ago. obviously i would prefer a good, useful typechecker to run on my code, but mypy is not it