epoch-language
epoch-language copied to clipboard
Type constraints
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 [email protected] on 15 Feb 2012 at 8:06