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?
[ Parent
| on HN ]
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.