> perhaps does not provide full proof/correctness/contract support but does come with testing right out of the box, either in its implementation or philosophy?

> perhaps does not provide full proof/correctness/contract support but does come with testing right out of the box, either in its implementation or philosophy? Python has doctests. Not sure if thats what you mean?