Тема ТИП

Типизация — классификация, таксономия, семантика, грамматика, спецификация, атрибуция, характеристика, дефиниция, идентификация, параметризация … В программировании, где, прежде всего, парсинг осуществляется с цепочкой символов некоторого алфавита, то количество символов в цепочке — тип. Элементарный тип — номер, индекс, натуральное число (но и позиция тоже определяет тип). Процесс нумерации можно интерпретировать как именование упорядоченных элементов, а само именование как выделение, фиксация. Фактически, типизация, суть абстрагирования или классификации. Поэтому, с одной стороны, любые попытки конструирования теорий типов, привлекают внимание, как метатеория, а с другой, они же демонстрируют, что сам по себе термин ТИП — предельная категория, без которой вполне можно обойтись. То, что понимают под формализмом «тип» теоретики (собственно, сам «формализм»), имеет косвенное отношение к проблеме организации памяти в программировании. Вся политика программирования сводится к вопросу ответственности за приведение к формату протокола, до использования сервиса или сервис должен верифицировать валидность своих параметров. Эти две проблемы следует отделить друг от друга как обозначение и значение. Из теории типов следует, что тип — предикат. Под предикатом в традиционной математике понимают высказывание с характеристикой "истина" и "ложь", а эта конструкция - синтаксический сахар. Нет смысла разделять высказывание, синонимом которого просто предикация или пропозиция. В этом ключе можно было бы считать типы атрибутами, то есть типизацию атрибуцией объекта, если бы мы не классифицировали сами объекты с позиции организации в памяти и определенных операций. Кстати, две эти точки зрения по существу принципиально разные. Типы не нужны, типизация по-существу и есть конструирование абстрактной и гетерогенной структуры и как следствие поиск по ней. Здесь уместно вернуться к изначальным реальным проблемам и их дескрипциям, тупо идентифицировать. Что, когда и зачем. Обычное дело, когда теория оторвалась от практики и превратилась в интеллектуальную игру вместо моделирования реальной практики. А то что предикация описывает по сути отношение, то да ... это по сути функция и в случае "типизации" тоже. А когда функция отображает структуру в структуру, то типизация уже функции становится все равно не понятным.

https://telegra.ph/Tip-08-21

https://t.me/KODIFIKATION/933

https://t.me/KODIFIKATION/921

https://t.me/KODIFIKATION/920

• Зачем нужна динамическая типизация?

• Зависимые типы — будущее языков программирования

• В программировании "типизация" — это классификация информации. Это общий термин и разные языки программирования справляются с типизацией по-разному. Как вы уже знаете, JavaScript умеет отличать типы. Функция — это один тип, Число — другой, и вы не можете просто использовать число как функцию.

• Автоматическая типизация

• https://ru.wikipedia.org/wiki/Тип

• https://ru.wikipedia.org/wiki/Система_типов

• https://ru.wikipedia.org/wiki/Абстрактный_тип_данных

• https://ru.wikipedia.org/wiki/Прототип

• https://ru.wikipedia.org/wiki/Прототипирование

• https://ru.wikipedia.org/wiki/Прототипирование_программного_обеспечения

• https://ru.wikipedia.org/wiki/Прототипное_программирование

• Прототипирование с помощью функциональных языков

• Просто типизированное исчисление блоков

• Типизированное исчисление блоков

• https://ru.wikipedia.org/wiki/Лямбда-куб

• Полиморфизм

• Система F

• https://ru.wikipedia.org/wiki/Параметрический_полиморфизм

• https://ru.wikipedia.org/wiki/Шаблон_проектирования (Алгоритмы по своей сути также являются шаблонами, но не проектирования, а вычисления)