News for hackers. Stuff that matters.
Re:Most Unit Testing Is Waste (2014) [pdf] by pojzon on Saturday June 29, 2019 @03:39AM (#20311320)
A question, coz Im not sure I follow. How is type system (as described by wiki) supposed to test domain or functionality?

Or are you talking here about completely different type system ?

Re:Most Unit Testing Is Waste (2014) [pdf] by ben0x539 on Saturday June 29, 2019 @04:41PM (#20314654)
What you can do with the type system depends on the language. It can't replace tests entirely, but it can usually make some more boring tests superfluous, and in more exotic languages the type system can be surprisingly helpful.