Типизация —
классификация, таксономия, семантика,
грамматика, спецификация, атрибуция,
характеристика, дефиниция, идентификация,
параметризация … В программировании,
где, прежде всего, парсинг осуществляется
с цепочкой символов некоторого алфавита,
то количество символов в цепочке — тип.
Элементарный тип — номер, индекс,
натуральное число (но и позиция тоже
определяет тип). Процесс нумерации можно
интерпретировать как именование
упорядоченных элементов, а само именование
как выделение, фиксация. Фактически,
типизация, суть абстрагирования или
классификации. Поэтому, с одной стороны,
любые попытки конструирования теорий
типов, привлекают внимание, как метатеория,
а с другой, они же демонстрируют, что
сам по себе термин ТИП — предельная
категория, без которой вполне можно
обойтись. То, что понимают под формализмом
«тип» теоретики (собственно, сам
«формализм»), имеет косвенное отношение
к проблеме организации памяти в
программировании. Вся политика
программирования сводится к вопросу
ответственности за приведение к формату
протокола, до использования сервиса
или сервис должен верифицировать
валидность своих параметров. Эти две
проблемы следует отделить друг от друга
как обозначение и значение. Из теории
типов следует, что тип — предикат. Под
предикатом в традиционной математике
понимают высказывание с характеристикой
"истина" и "ложь", а эта
конструкция - синтаксический сахар. Нет
смысла разделять высказывание, синонимом
которого просто предикация или пропозиция.
В этом ключе можно было бы считать типы
атрибутами, то есть типизацию атрибуцией
объекта, если бы мы не классифицировали
сами объекты с позиции организации в
памяти и определенных операций. Кстати,
две эти точки зрения по существу
принципиально разные. Типы не нужны,
типизация по-существу и есть конструирование
абстрактной и гетерогенной структуры
и как следствие поиск по ней. Здесь
уместно вернуться к изначальным реальным
проблемам и их дескрипциям, тупо
идентифицировать. Что, когда и зачем.
Обычное дело, когда теория оторвалась
от практики и превратилась в интеллектуальную
игру вместо моделирования реальной
практики. А то что предикация описывает
по сути отношение, то да ... это по сути
функция и в случае "типизации"
тоже. А когда функция отображает структуру
в структуру, то типизация уже функции
становится все равно не понятным.
https://telegra.ph/Tip-08-21
https://t.me/KODIFIKATION/933
https://t.me/KODIFIKATION/921
https://t.me/KODIFIKATION/920
