Журнал Витуса

mypy -- это вовсе не статическая типизация. Это проверка type hints (описанных в PEP 483 и 484) там, где они явно написаны, а где не написаны -- то и ладно. Duck typing это никаким образом не отменяет. Но оно иногда сильно помогает от идиотских опечаток, когда никакого duck typing не нужно, функция возвращает тапл из числа и строки -- а код, вызывающий эту функцию, перепутал строку и число местами.