> Я не очень понял, какое отношение статическая типизация имеет к анализу типов > данных рантайм. я тоже не понимаю зачем все время перескакивать с одного на другое