next up previous contents
Next: Derived Sets Up: Ordered sets Previous: ordered-length

construct-ordered

The construct-orderd operation constructs an ordered set using a constructor function2.1.

(define make-initialized-vector
(lambda (k init)
(letrec ((internal
(lambda (vector index)
(if (>= index k)
vector
(begin
(vector-set! vector index
(apply init (list index)))
(internal vector (+ index 1)))))))
(internal (make-vector k) 0))))

(define construct-ordered
(function
sordered
((size integer) (constructor procedure))
(list 'ordered (make-initialized-vector
size
constructor))))



Richard W. DeVaul
1998-12-07