Reimplemented list-sort in terms of vector-sort!.
This commit is contained in:
parent
f1710b81ab
commit
b5b558f4e6
|
@ -17,69 +17,16 @@
|
||||||
(library (ikarus.sort)
|
(library (ikarus.sort)
|
||||||
(export list-sort vector-sort vector-sort!)
|
(export list-sort vector-sort vector-sort!)
|
||||||
(import
|
(import
|
||||||
(ikarus system $fx)
|
|
||||||
(except (ikarus) list-sort vector-sort vector-sort!))
|
(except (ikarus) list-sort vector-sort vector-sort!))
|
||||||
|
|
||||||
(module (sort-tail)
|
|
||||||
(define (merge1 <? a1 ls1 ls2)
|
|
||||||
(cond
|
|
||||||
[(null? ls2) ls1]
|
|
||||||
[else
|
|
||||||
(let ([a2 (car ls2)])
|
|
||||||
(cond
|
|
||||||
[(<? a2 a1)
|
|
||||||
(cons a2 (merge1 <? a1 ls1 (cdr ls2)))]
|
|
||||||
[else
|
|
||||||
(cons a1 (merge2 <? a2 (cdr ls1) ls2))]))]))
|
|
||||||
|
|
||||||
(define (merge2 <? a2 ls1 ls2)
|
|
||||||
(cond
|
|
||||||
[(null? ls1) ls2]
|
|
||||||
[else
|
|
||||||
(let ([a1 (car ls1)])
|
|
||||||
(cond
|
|
||||||
[(<? a2 a1)
|
|
||||||
(cons a2 (merge1 <? a1 ls1 (cdr ls2)))]
|
|
||||||
[else
|
|
||||||
(cons a1 (merge2 <? a2 (cdr ls1) ls2))]))]))
|
|
||||||
|
|
||||||
(define (merge <? ls1 ls2)
|
|
||||||
(cond
|
|
||||||
[(null? ls2) ls1]
|
|
||||||
[else
|
|
||||||
(let ([a1 (car ls1)] [a2 (car ls2)])
|
|
||||||
(cond
|
|
||||||
[(<? a2 a1)
|
|
||||||
(cons a2 (merge1 <? a1 ls1 (cdr ls2)))]
|
|
||||||
[else
|
|
||||||
(cons a1 (merge2 <? a2 (cdr ls1) ls2))]))]))
|
|
||||||
|
|
||||||
(define (sort-head <? ls n)
|
|
||||||
(cond
|
|
||||||
[($fx= n 0) (values '() ls)]
|
|
||||||
[($fx= n 1)
|
|
||||||
(values (cons (car ls) '()) (cdr ls))]
|
|
||||||
[else
|
|
||||||
(let-values ([(sorted-head tail)
|
|
||||||
(sort-head <? ls ($fxsra n 1))])
|
|
||||||
(let-values ([(sorted-tail tail)
|
|
||||||
(sort-head <? tail ($fx- n ($fxsra n 1)))])
|
|
||||||
(values (merge <? sorted-head sorted-tail) tail)))]))
|
|
||||||
|
|
||||||
(define (sort-tail <? ls n)
|
|
||||||
(cond
|
|
||||||
[($fx<= n 1) ls]
|
|
||||||
[else
|
|
||||||
(let-values ([(sorted-head tail)
|
|
||||||
(sort-head <? ls ($fxsra n 1))])
|
|
||||||
(merge <? sorted-head
|
|
||||||
(sort-tail <? tail ($fx- n ($fxsra n 1)))))])))
|
|
||||||
|
|
||||||
(define (list-sort <? ls)
|
|
||||||
(unless (procedure? <?)
|
|
||||||
(die 'list-sort "not a procedure" <?))
|
|
||||||
(sort-tail <? ls (length ls)))
|
|
||||||
|
|
||||||
|
(define (list-sort proc ls)
|
||||||
|
(unless (procedure? proc)
|
||||||
|
(die 'list-sort "not a procedure" proc))
|
||||||
|
(unless (list? ls)
|
||||||
|
(die 'list-sort "not a list" ls))
|
||||||
|
(let ([v (list->vector ls)])
|
||||||
|
(vector-sort! proc v)
|
||||||
|
(vector->list v)))
|
||||||
|
|
||||||
(module (vector-sort vector-sort!)
|
(module (vector-sort vector-sort!)
|
||||||
(module UNSAFE
|
(module UNSAFE
|
||||||
|
|
|
@ -1 +1 @@
|
||||||
1351
|
1352
|
||||||
|
|
Loading…
Reference in New Issue