How about "pure virtual methods"?

Noam Raphael noamr at remove.the.dot.myrea.lbox.com
Sat Dec 25 22:45:44 CET 2004


Mike Meyer 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.
> 
>         <mike

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.

Noam



More information about the Python-list mailing list