3 ms·

Any plans for inheritance and polymorphism, given your reluctance towards tagged types?

• roger23 3mo ago
  There is no need really - there will be things like aspects, dot-notation for inout first parameter, if and case expressions, protected-types, etc. I could get into something called "co-extensions" which have existed in the language standard from 2005 I believe and allowed for access discriminants to be tracked and automatically freed, and I think this would solve the remaining gap - NOTE GNAT does not implement this and actually whiffs a bit on the ACATS last I checked