Какие проблемы есть у статической типизации?