суть сводилась к тому, что вне зависимости от типизации тебе нужно знать тип данных на вход, но со статической типизацией у тебя есть проверка во время компиляции и меньше оверхеда
языки со статической типизацией и интерфейсами норм, языки с динамической типизацией норм, языки со статической типизацией и без интерфейсов (оопшных) должны гореть в аду
языки со статической типизацией и интерфейсами норм, языки с динамической типизацией норм, языки со статической типизацией и без интерфейсов (оопшных) должны гореть в аду