В gflist_vt.sats подпись gflist_vt_mergesort$cmp
подразумевает, что порядок, используемый для сортировки, должен быть таким же, как и для штампа. Я так понимаю, что если такая функция сравнения задана, то надежность функции обеспечена.
В этом примере gflist_vt_mergesort$cmp
кажется для реализации с использованием небезопасного приведения.
- Безопасно ли это делать? (т. е. не вызывает ли это каких-либо проблем? например, что, если список отсортирован несколько раз с разным порядком?)
- Есть ли другой (более безопасный) способ?