On: Ask HN: Is there a programming language with embedded testing support?

[reitanqild]

> 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?