Здравствуйте, kaa.python, Вы писали:

WH>>Так если у нас типизация динамическая, то как ты будешь эти интерфейсы контролировать?
KP>Больше тестов напишешь, они ещё никому не вредили.
Тесты гарантии не дают. Типы дают. При этом проверка типов намного быстрее тестов.
Ну и попробуй тестами поймать то, что ловит borrow checker в rust.
Удачи.

KP>Зависит от языка. Из тех динамических что я знаю — ABCMeta в купе с аннотациями типов в Python вполне себе решает эту проблему. В Closure вот specs завезли, тоже очень удачное решение проблемы типизации для динамики.
То есть добавляем явные аннотации типов?

KP>Нападок на динамику я не очень понимаю если честно. Проблемы в сравнении со статикой просто другие и всё.
Проблемы статики на фоне проблем динамики в микроскоп не видно.