Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.python > #19500 > unrolled thread

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

Back to article view | Back to comp.lang.python

This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by below is the oldest one visible, not the original post.

Contents

  Re: Constraints -//- first release -//- Flexible abstract class based validation for attributes, functions and code blocks Devin Jeanpierre <jeanpierreda@gmail.com> - 2012-01-26 14:51 -0500

#19500 — Re: Constraints -//- first release -//- Flexible abstract class based validation for attributes, functions and code blocks

Ooh, runtime turing-complete dependent-types. :)

I'm not sure if you're aware of the literature on this sort of thing.
It's nice reading. A library such as this that's designed for it could
be used for static checks as well.

Probably deserves a better name than "constraintslib", that makes one
think of constraint satisfaction.

On Thu, Jan 26, 2012 at 2:36 PM, Nathan Rice
<nathan.alexander.rice@gmail.com> wrote:
> Design by contract style preconditions, postconditions and invariants are also
> supported, and can be used either as context managers or function decorators::

Any way to get them to raise a different error, such as ValueError (in
particular for preconditions)?

-- Devin

[toc] | [standalone]

Back to top | Article view | comp.lang.python

csiph-web