Тип
sergey shishkin045. С точки зрения метасемантики в связи с термином ТИП интересует прежде всего морфема ПРОТОТИП как АРХЕТИП в теории класификации, в частности, в таксономии и мерономии как аспектов типологии. "Тип" в английском языке - синоним "стандарту". Этот факт помогает понять действительную роль Б. Рассела в инициализации теории типов. Расселу приписывают принцип замещения типа (высказывания) на эквивалентный тип (высказывание). Эквивалентность здесь в смысле дефиниции. Ну и «типа» Рассел же ввел принцип иерархии типов. Выходит, что теории типов — это логики, а их иерархия — это логики высших порядков. Такая интерпретация легла в основу обозначения разветвленной теории типов, базовая аксиома которой — редукция. Устранив редукцию, мы получаем теорию простых типов. Обобщая типы, можно прийти к чистой системе типов и с топологическими аспектами — многомерные теории типов и гомотопическая теория типов. По-существу теория типов стала возникать при обобщении формальных систем (систем типов) — зависимых типов, конструктивной теории типов, исчисление конструкций (индуктивных типов). В конечном итоге можно заключить, что тип - это предикат, точнее, декларация типа и по сути теория типа ничего нового нам в процессе абстрагирования не добавляет, типы не нужны. С позиции метасемантики системы типов интересны только как подходы и их сравнение, но центральной идеей, концептуальной доминантой декларируется «прототипирование», в основе которого идея идентификации или дефиниции, что прямо указыает на на поиск паттернов и их сравнение.