Re:Most Unit Testing Is Waste (2014) [pdf]
by chongli on Friday June 28, 2019 @10:40PM
(#20310467)
It adds to the technical debt of the project. Some teams may never decide they're "ready" for a more sophisticated type system. That's fine, but they're still on the hook for maintaining those test suites which might pose significant roadblocks to refactoring or rewriting parts of the system.
[ Parent
| on HN ]
Re:Most Unit Testing Is Waste (2014) [pdf]
by iso-8859-1 on Friday June 28, 2019 @11:28PM
(#20310654)
You can prove a merge sort correct with dependent types. However, a typed implementation of merge sort will arguably be more difficult to mold into a TimSort if it isn't dependently typed. What you say?
Re:Most Unit Testing Is Waste (2014) [pdf]
by chongli on Saturday June 29, 2019 @06:36AM
(#20311827)
I don't have any experience with dependently typed languages. I hope (schedule permitting) to take a course in dependently typed programming (using Agda) and formal verification in the fall. I'll have much more to say on the topic after completing the course.