I think it is a good idea. Any objectors? Jay
On Wed, Nov 10, 2010 at 12:40 PM, David Van Horn <dvanh...@ccs.neu.edu> wrote: > The set library is missing a convenient way of selecting an element from a > set, making it hard to write recursive functions matching the inductive > structure of a set. > > Could you add this function, or something like it? > > (define (set-choose s) > (let ((x (for/first ([x (in-set s)]) > x))) > (values x (set-remove s x)))) > > David > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/dev > -- Jay McCarthy <j...@cs.byu.edu> Assistant Professor / Brigham Young University http://faculty.cs.byu.edu/~jay "The glory of God is Intelligence" - D&C 93 _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev