Что же мы делаем, когда вводим систему типов в спецификацию языка программирования?
мы навязываем миру программы аристотелевскую логику:
- родовидовые отношения,
- закон исключённого третьего,
- жёсткие определения.
Ранее по теме:
Язык без типов
Системы типов в языках программирования
Типы в программировании и роды в русском языке
что же мы делаем, когда вводим типы с точки зрения диалектики?
Мы замораживаем момент развития.
Мы берём некоторое состояние становления и объявляем его застывшей сущностью.
Мы говорим:
«Вот это — число, и навсегда. Оно не может стать чем-то другим»
Когда вы вводите типы — вы убиваете диалектику. Замораживаете время. Отменяете становление.
Подменяете бытие-в-действии на бытие-в-готовности.
Отредактировано Лис (2026-08-27 14:36:50)