3 ms·
One example I like is a binary search Funktion which only allows to pass a sorted list
by gdprrrr 4y ago
One example I like is a binary search Funktion which only allows to pass a sorted list
- kaba0 4y agoWell, you can do that in traditional languages as well, just wrap your list in a SortedArray type. Chances are your “sorted” function won’t actually prove the algorithm used formally either in a dependently typed language.