Объясните, что означает термин 'строго типизированный язык программирования' и как он отличается от нестрого типизированного.