<div dir="ltr"><div><div class="gmail_extra"><div class="gmail_quote">On Fri, Aug 2, 2013 at 1:47 PM, Stephen Chang <span dir="ltr"><<a href="mailto:stchang@ccs.neu.edu" target="_blank">stchang@ccs.neu.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">> With that in mind, I think it would make sense to move `set-first' and<br>
> `set-empty?' to the primitive set (making it clear that they are<br>
> optional, and can be derived from `set->stream' if need be). With those<br>
> two in the primitive set, anything that implements all the primitives<br>
> should get all the derived for free, right?<br>
<br>
</div>Oh yeah, I like that better than moving set->stream to primitives<br>
since they are more "standard" set operations.<br></blockquote><div><br></div><div>So the proposal for "primitive" methods is to pick one canonical set of methods from which all the others can be derived? I'm fairly sure there's more than one such set, and I'm not sure there's one choice that's clearly better than the others. I can understand the benefits of documenting a "suggested" set, but given that it is an arbitrary and pragmatic distinction, I'm not sure I'd want to set them off in a section any more. I'd just make a list in the gen:set description or something.<br>
<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Carl, I dont see how guaranteeing some fallback implementations<br>
affects allowing more efficient versions. I think most programmers<br>
understand that the default implementation is probably not very<br>
efficient.<br></blockquote><br></div><div>Yes, but a default implementation doesn't have to be inefficient. Right now the fallback implementation of set=? and proper-subset? will be efficient if the implementation of subset? is efficient. Your proposal to make fallbacks depend only on primitive methods would prevent that. I don't understand why we'd want to prevent "intelligent" fallbacks like I've made the effort to write, just to draw a line in the sand.<br>
<br></div><div>--Carl<br></div></div></div></div>