[R6RS] Enumerations proposal pre-draft

Michael Sperber sperber at informatik.uni-tuebingen.de
Wed May 17 15:17:45 EDT 2006


William D Clinger <will at ccs.neu.edu> writes:

> Here is yet another draft of the enumerations proposal.  Its
> interface is pretty different from what Mike described in the
> previous draft, but its semantics are pretty similar.

Thanks!  I actually don't dislike many things about it. I do like the
brevity, and the explicit projection into subsets.

The only objections I currently see are these:

- I really dislike the heavy use of overloading.  It's especially
  confusing in the case of <index-of>.  It's a tradeoff I don't know
  how to resolve.  How about you give on <index-of> and I give on
  <type-name>?

- It can't be used to define sets of things other than symbols, which
  my previous proposal could.  But I suppose a separate form could
  handle that, and we don't need it for R6RS.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla



More information about the R6RS mailing list