С точки зрения языка программирования, что означает подтип? Я слышал, что «Наследование - это не подтип». Тогда каковы различия между наследованием и подтипом?
Виды собственности и логика разделения, похоже, имеют схожие цели, контроль над владением и алиасами. Возможно, стоит также добавить: возможность написания модульных спецификаций. Что известно об отношениях между типами собственности и разделительной логикой?
Это вопрос, который я задал на форуме по математике SE, и меня сюда направили. Так вот вопрос Я новичок в формальной математике и теоретической информатике, поэтому, пожалуйста, потерпите меня, если вы обнаружите, что мой вопрос не сформулирован должным образом. Объектно-ориентированное моделирование кажется очень полезным при определении сложных взаимодействий при моделировании …