На этом шаге мы рассмотрим понятия тип и класс.
Понятие типа взято из теории абстрактных типов данных.
В большинстве языков программирования понятия "тип" и "класс" взаимозаменяемые (мы также будем придерживаться этого), хотя существуют языки, где эти понятия различаются.
Типизация заставляет выражать наши абстракции таким образом, чтобы язык программирования, используемый при реализации проекта, поддерживал соблюдение принятых проектных решений.
На следующем шаге мы рассмотрим параллелизм.