News for hackers. Stuff that matters.
Re:Kent Beck: “I get paid for code that works, not for tests... by gaius on Thursday December 08, 2016 @12:23PM (#13132040)
You absolutely can do that with the type system, use a constrained subtype.
Re:Kent Beck: “I get paid for code that works, not for tests... by jon-wood on Friday December 09, 2016 @06:19AM (#13138086)
You've got my interest piqued now. How does that work in practice? And do you not still need to test that it complies with the actual business rules at some point?