News for hackers. Stuff that matters.
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.
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.