Можете ли вы объяснить, что означает термин 'строго типизированный язык программирования'?