Python - самый хороший язык, который я знаю на данный момент, но статическая типизация является большим преимуществом из-за автозаполнения (хотя поддержка динамических языков ограничена, это ничто по сравнению с тем, что поддерживается в статическом). Мне любопытно, есть ли языки, которые пытаются добавить преимущества Python к языку со статической типизацией. В частности, я интересуюсь языками с такими функциями, как:
- Поддержка синтаксиса: например, для словарей, массивов
- Функции: аргументы ключевых слов, замыкания, кортеж / несколько возвращаемых значений
- Модификация / создание классов во время выполнения
- Избегание указания классов везде (в Python это происходит из-за утки, хотя вывод типов лучше работает в статически типизированном языке)
- Поддержка метапрограммирования: это достигается в Python посредством отражения, аннотаций и метаклассов
Существуют ли статически типизированные языки со значительным количеством этих функций?