> -- albobin писал(а):
> ...Это всё не то - это всё вариации Оберона Вирта. Интересно узнать, чего же это такое  - "совершенно недостаточно" из недавнего поста.Расширяемые структуры данных, процедурные типы, модули ...  что ещё надо? или что-то совсем иное? Хотелось бы узнать, а что будет "совершенно достаточно"?Мне кажется, вы о разных "схемах" говорите - Madzi (как и alexus) - о "внешней", Вы - о "нейтральной". В смысле, описанном вэтом посте, скажем. Причём, конкретное представление (здесь - как FBD-схем) нейтральное или внешнее - зависит ещё и от реализации.
Всё, что Вы перечисляете - не для внешних представлений - там, условно говоря, "деталь имеет тип детали, если она соответствует чертежу детали со всеми свойствами, представленными в предметно-специфических обозначениях".