Присвоение типов объектам

Проходя курс “системное мышление” при выполнении заданий, автором курса были указаны ошибки в работе машинки типов.

Решил немного поразмыслить письмом и составил табличку с попыткой набросать как можно больше примеров для работы машинки типов.

Индивидуальный объект/экземпляр (физический объект) Класс Класс классов/тип
Определение объект имеет физическую форму и временное существование группы объектов, объединенные по какому-то признаку класс классов
Что входит в объект экземпляром является индивидуальный объект экземпляром является класс экземпляром/элементами класса являются другие классы, а не индивидуальные объекты
Какая модель описывает модель объекта мета модель мета-мета модель
Пример на шуроповерте шуруповерт макита с инвентарным номером 1250564-678 шуроповерт макита электроинструмент
Пример на желудях желудь белый желудь цвет желудя
Пример для типов сисмыш самолет бортовой №123 самолет система
Дом, который был синим, а стал зелёным дом синий Цветовые состояния объектов

Вот смотрите: подмена объекта: “Проходя курс “системное мышление” при выполнении заданий, автором курса были указаны” – написано, что “автор указал, проходя курс”, но “указал” автор, а “проходя курс” это уже подразумевается, что про вас, но по факту написано всё ещё про автора (“проходя курс, автор указал”). Это про то же самое из курса “Рациональная работа”: собранность как удерживание типа в ходе рассуждения. То есть не только тип объекта надо как-то правильное определить, надо потом удерживать объект этого типа во внимании, чтобы при описаниях не путать, какая часть описания относится к какому объекту. Это часть собранности, тесно связанная с частью по постановке “машинки типов”.

1 лайк