How about "pure virtual methods"?

Alex Martelli aleaxit at
Sun Dec 26 10:49:57 CET 2004

Noam Raphael <noamr at> wrote:

> > That's what DbC languages are for. You write the contracts first, then
> > the code to fullfill them. And get exceptions when the implementation
> > doesn't do what the contract claims it does.
> Can you give me a name of one of them? This is a very interesting thing
> - I should learn one of those sometime. However, I'm pretty sure that
> programming in them is hell, or at least, takes a very long time.

If you want to experiment with DbC within Python, I think you might want
to try <> -- not sure it's
maintained and up-to-date with today's Python, but I suspect the answer
is "yes", and it would give you a chance to try DbC as a methodology,
quite separately from the issue of changing programming languages.


More information about the Python-list mailing list