> interface contract specification language Sounds a bit like C#'s code contracts. A team I was on tried it some years ago, and I think they were a great subst

> interface contract specification language Sounds a bit like C#'s code contracts. A team I was on tried it some years ago, and I think they were a great substitute for a bulk of the unit tests we wrote. It didn't catch on, unfortunately.