Consider adding different forms of type constraints; this is distinct from
algebraic data types in that it is intended to affect *values* moreso than
*types*.
For instance, numeric ranges would be nice; dimensional analysis could be cool;
and so on.
Original issue reported on code.google.com by don.ap...@gmail.com on 15 Feb 2012 at 8:06
Original issue reported on code.google.com by
don.ap...@gmail.com
on 15 Feb 2012 at 8:06