Constraints -//- first release -//- Flexible abstract class based validation for attributes, functions and code blocks

Nathan Rice nathan.alexander.rice at
Fri Jan 27 01:38:44 EST 2012

> May I suggest a look at languages such as ATS and Epigram? They use
> types that constrain values specifically to prove things about your
> program. Haskell is a step, but as far as proving goes, it's less
> powerful than it could be. ATS allows you to, at compile-time, declare
> that isinstance(x, 0 <= Symbol() < len(L)) for some list L. So it
> might align well with your ideas.

Thanks for the tip.

>>> Probably deserves a better name than "constraintslib", that makes one
>>> think of constraint satisfaction.
>> As you can probably tell from my other projects, I'm bad at coming up
>> with snappy names.
> I'm bad at doing research on previous projects ;)

I guess I'm not plugging my other projects enough...  You should check
out elementwise.



More information about the Python-list mailing list