Comment by schmook

My only gripe with this is that there's alread a term in computer science for this concept of "design by contract".

It's called a type system.

What you need for this is a more expressive type system.