Статическая типизация в питоне уже давно есть - это cython. Cython - это костыли, цель которых преодолеть непреодолимые косяки питона. Для того, чтобы язык компилировался в быстрый нативный код, ему не обязательно быть статически типизированным, см. julialang.
За счёт высокой абстрактности. Всё, что можно сделать на питоне, можно сделать и на фортране, только будет раз в 10 больше кода. А на сях раз в 50 больше кода.
Вы моей квалификации тоже не знаете, да и я не знаю в каких попугаях мерять сложность проекта - так что обойдетесь таким ответом.
А с ней бороться нужно? O_o
В Сях иногда да. В плюсах есть шаблоны, там проще (но тоже есть свои ограничения). Как и всякая особенность ЯП (и не только ЯП) стат.типизация где то помогает, где то мешает. Диалектика однако.
Полагаю что в итоге ты получишь нечто сильно похожее на классический Си. Будет ли оно чем-то лучше - вопрос. Ты лучше скажи что ты в итоге хочешь получить? Может просто переехать на другой язык? Это не так и сложно.
Вы конечно можете считать плюсы гавном мамонта и писать исключительно на илитарном расте/хаскеле/D (че там нынче модно и молодежно?) - но это никак не характеризует плюсы;-)
Давно заимплеменчено для некоторых ограниченных юзкейсов (cython, nuitka, десятки их). Этим пользуются только если очень нужен именно питон, вообще питоне с типами писать не так удобно, как на swift’е (если ты про высокоуровневые языки) или rust’е (если про более низкоуровневые).
Вообще какой то вариант контроля типов был вроде в py3 (ну и его относительно легко прикрутить в py2, включая перегрузку функций), но только в рантайме ЕМНИП. Никогда этим не пользовался.
Т. е. статическая типизация уменьшает скорость разработки? O_o
В том виде, что в питоне — да. Нормальные языки с достаточно юзабельным type inference не так давно появились/стали популярными, поэтому большинство считают, что статическая типизация — это что-то вроде java со всеми вытекающими.
Но для прототипов, которые никогда не вырастут за десяток тысяч строк, питон — ок выбор, позволяет набросать proof of concept без намёка на обработку любых нестандартных ситуаций довольно быстро.
ТС опять троллингом занимается. Это как спросить, а возможны ли классы и нормальное ООП с наследованием в Go, или возможна ли сишка с автоматическим подсчётом ссылок
pep484 — убог и как раз в рантайме типы не проверяются (потому, что эталонное ненужно).
mypy не умеет уйму вещей начиная с type inference.
pytype крэшится на простых циклах зависимостей в маленьком проекте на 500к строк py2-говнокода.
pyright и pyre не пробовал, но сам pep484 убогий (в том же typescript, например, больше фич) и многие вещи в нём тупо не выражаются.