Променяли ли бы вы динамическую типизацию Erlang, на статическую?

Вопрос мягко говоря некорректен. Способ типизации — одна из основных характеристик языка, изменив которую мы получаем совершенно другой язык.

a Dializer? Он же выявляет типы. Возможно придётся описывать некоторые структуры данных — но можно судить по хаскел, что умные системы выведения типов возможны. Вопрос скорее о формате VM и байт-кода.