I'm learning MPS and playing around with concept declarations. I've just discovered the ability to have a subConcept specialize a child with a type that is incompatible with it's superclass. This doesn't seem to generate any errors in the language model, but does allow for invalid solution input.

Votes

Share

this is a flaw in MPS, which, however, we will address only as part of major reorganization of the structure language. The possibility to specialize links may well be found redundant and removed at that point.