Sorting algorithms/Shell sort: Difference between revisions
m
→For arrays whose elements must be of non-linear type
Line 1,009:
===For arrays whose elements must be of non-linear type===
The differences from the previous implementation are mainly in the '''gapped_sort''' function. Note that the order predicate now gets its arguments by value instead of by reference.
<lang ats>(* Shell sort with both the gap sequence and the order predicate
|