4 ms·
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 complet
by pojzon 7y ago
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 ?
- ben0x539 7y agoWhat 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.