This is probably for Prime 3.0
I'd like the ability to extend the data types, via some sort of compiled software interface for instance, e.g. being able to add a quaternion data type (perhaps as a 4 element vector type that is recognised as such) so that one can do extended algebra on whatever new data type one has invented. (the big problem at the moment is there is no available developer definition of nested arrays, or string arrays)
If scalar=0, and matrix =1, then 2=MyType, etc, so that other functions can confirm what they are - Same as IsArray IsScalar IsString ... IsType => MyType [so the type could have a number and a name etc.]
This obviously would also mean that one should be able to extend the multiply and add functions etc.(need a way of doing that)
When I'm forced to use Matlab it is often because of the ability to extend the compute capability.
Being able to detect that some Matrix or vector is of a specific 'size' may be equivalent [this is similar to the extra user dimension types - count of apples, count of oranges; this is data of type]
This is a functional style capability, it gives the people the ability to expand the capability in a general manner.