Апач, ты видел доклад Брагилевского про Idris? Во где система типов могучая. Но по факту — абсолютно бесполезная. Но там дааааааааа, не сделаешь рандомного изменения не сломав ничего...
Но это же перевод дискуссии в другую область. Понятно что в областях от которых зависит жизнь и здоровье людей или для критических систем(ПО для атомных электростанций к примеру) чем больше проверок и различных ограничений, тем лучше.
Но вряд ли уместно упоминать такие области и упоминать скалу при этом.
Нифига себе ты перевернул! Сначала сам выдвинул тезис, что на динамических ЯП нельзя писать поддерживаемый софт, а потом пишешь, что тут кто-то наезжает на статически типизированные ЯП?