пока что нет, я же привык к динамической типизации. к тому же там можно описывать типы
Дополнительно можно отметить появление информации о разработке компанией Facebook нового варианта языка Erlang со статической типизацией, который позволит повысить эффективность работы инфраструктуры мессенжера WhatsApp.