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

M>В общем, ты сам рассказываешь о толпе предусловий, которые должны быть выполнены прежде, чем статическая типизация заработает, но почему-то сильно удивляешься, когда я указываю на эти условия и почему-то утверждаешь, что я в чем-то неправ
Я говорю всего про два:
1)Программисты должны быть адекватны. Иначе в любом случае всё будет плохо.
2)Статическая типизация должна быть.
Жаловаться на то, что статическая типизация не работает, если её нет весьма странно.
Твой второй пример именно про случай, когда её нет.