Тип

Тип

"типы данных не нужны, нужен минимальный алфавит" ... "типы данных неважны, важно наличие разных символов, т.е. важно отличать состояния, минимальное различие влечет наличие двух состояний, эти состояния можно обозначать двумя разными символами ... этого достаточно, это и есть универсальный тип данных, всё остальное синтаксический сахар, для базового типа данных важна различимость, все остальное неважно" ... "синтаксический сахар машине не нужен, он нужен людям, он типа процедур и функций, он типа понятий, позволяет ворочать целыми блоками и конструкциями ... в итоге получается, над базовым типом и базовыми операциями мы можем надстраивать разные типы и понятийные конструкции, что и вызывает к жизни кучу языков программирования, кучу языков спецификаций, т.е. над базой вырастает куча моделей ... если эти модели обобщать, то далее постепенно все сведется снова к очень абстрактным категориям" ... "типы и разнообразные операции не нужны, они всего лишь синтаксический сахар, но на практике они нужны и важны, они помогают справляться со сложностью, поэтому видимо языков программирования будет всегда много, типов данных будет всегда много" ... "борьба со сложностью может состоять в типизировании веток дерева абстракции ... надо оставлять этакие минимальные оптимальные абстрактные конструкции мощные и выразительные" ...

Report Page