Исправление nikolnik, (текущая версия) :
Вся суть языков с динамической типизацией: мы запилим языки с нестрогой динамической типизацией, чтобы потом эти самые типы валидировать 100500 инструментами для анализа кода, линтерами, тормозящими ide, аннотациями типов через комменты или через специальный синтаксис (который обычно ничего не валидирует в рантайме лол), генераторами кода, трансплайлерами, бесконечными самыми разнообразными тестами и всем прочим. Разумеется, это все должно работать медленно, ненадежно, с кучей false posivites, и через раз, и т.д. и т.п.. :)
Исходная версия nikolnik, :
Вся суть языков с динамической типизацией: мы запилим языки с нестрогой динамической типизацией, чтобы потом эти самые типы валидировать 100500 инструментами для анализа кода, линтерами, тормозящими ide, аннотациями типов через комменты или через специальный синтаксис (который обычно ничего не валидирует в рантайме лол), генераторами кода, трансплайлерами, бесконечными самыми разнообразными тестами и всем прочим. Разумеется, это все должно работать медленно и через раз, и т.д. и т.д. :)