On 26/08/2011 16:45, Eric Niebler wrote:
Before I answer, can you tell me why you've decided to put vector and
matrix operations into separate domains? This seems like an artificial
and unnecessary separation to me.
Some operations are valid on vectors but not on matrices.
Our grammar enforces that dimensions are consistent, and that requires
us encoding the "meta" type of an expression into its domain.
proto mailing list