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 f

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.