epoch-language icon indicating copy to clipboard operation
epoch-language copied to clipboard

Type constraints

Open GoogleCodeExporter opened this issue 10 years ago • 0 comments

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

GoogleCodeExporter avatar Apr 21 '15 05:04 GoogleCodeExporter