Re: Parametrically polymorphic operations (Was: Safe C++)

[Jacob Sparre Andersen <sparre@nbi.dk>]

Brian:

> >    type Matrix (Left, Right : Positive) is private;
> >
> >    function "*" (Left  : in Matrix;
> >                  Right : in Matrix (Height => Left.Width))
> >      return Matrix (Width  => Right.Width,
> >                     Height => Left.Height);
> >
> > (I hope the intention is clear although the syntax isn't
> > defined)
> 
> That you want to multiply an M x N and a N x K matrix and have it type
> check at compile time and produce an M X K matrix?

Exactly.

Jacob
-- 
http://jacob.sparre.dk/Jacob/edb/digitale_nyheder
           Om redakt�rens opgave p� internetnyhedstjenester.