Constraints -//- first release -//- Flexible abstract class based validation for attributes, functions and code blocks
joncle at googlemail.com
Fri Jan 27 16:59:44 EST 2012
On Jan 27, 6:38 am, Nathan Rice <nathan.alexander.r... at gmail.com>
> > 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.
I love elementwise and this one - thanks.
If I can be so bold, I would call it 'contracts'. Or, if you want to
be more imaginative and esoteric - 'judge'/'barrister'/'solicitor'.
More information about the Python-list