I have added filter/2 with tests. One hint for the union/* exercise: the generators needs to be tweaked to have a version that returns two sets with the same implementation. Provided that we want to call down to the underlying implementation! Once fold is implemented union et al can be implemented for any two ec_set, but the problem is that the callback module becomes that of the set one chooses to fold over.
This is a bit against the idea of choosing implementations if one can loose control over it later on. Something to think about. Cheers, Torben On Tue, Jun 14, 2011 at 00:50, Jordan Wilberding <[email protected]>wrote: > I sure am. I'll just be simple and start with union/1 and union/2 first. > > > On Mon, Jun 13, 2011 at 5:28 PM, Eric Merritt <[email protected]>wrote: > >> If you are using the latest and greatest sinan, you already have >> proper, I am pretty sure you are Jordan. >> >> On Mon, Jun 13, 2011 at 4:26 PM, Torben Hoffmann >> <[email protected]> wrote: >> > Welcome aboard Jordan! >> > >> > First step is to install PropEr - I have placed it in >> ~/Library/Erlang/lib >> > by cloning directly from github. See http://proper.softlab.ntua.gr/ for >> > details. >> > >> > The missing functions are: >> > >> > union/2 >> > union/1 >> > intersection/2 >> > intersection/1 >> > is_disjoint/2 >> > subtract/2 >> > is_subset/2 >> > fold/3 >> > filter/2 >> > >> > Details of the "standard" behaviour @ >> http://erlang.org/doc/man/sets.html >> > >> > Cheers, >> > Torben >> > >> > On Mon, Jun 13, 2011 at 23:11, Jordan Wilberding <[email protected] >> > >> > wrote: >> >> >> >> I'll take a shot. What's the next function on the list to implement? >> >> >> >> On Mon, Jun 13, 2011 at 5:03 PM, Torben Hoffmann < >> [email protected]> >> >> wrote: >> >>> >> >>> Hi, >> >>> >> >>> I have started on the implementation of ec_set that will provide a >> >>> signature to sets similar to what we have done with ec_dictionary. >> >>> >> >>> https://github.com/lehoff/erlware_commons >> >>> >> >>> Only the simple stuff is tested right now: add and delete elements. >> >>> >> >>> If someone wants to learn something about how to do property based >> >>> testing there is a bunch of functions regarding sets that could be >> >>> implemented and tested. >> >>> Just let me know if you are interested and I will help you along. >> >>> >> >>> If no one steps up me and Eric will continue the implementation, but I >> >>> doubt that such a unique learning opportunity will be passed by all of >> you!! >> >>> Hint, hint!! ;-) >> >>> >> >>> If sets are not part of your favourite things to work on I can help >> you >> >>> get started with PropEr on your pet peeve - just send me a mail. >> >>> >> >>> One disclaimer on the PropEr exercise(s): all learnings should be >> shared >> >>> on the mailing list - that is the price for getting a taste of the >> testing >> >>> gods' nectar! >> >>> >> >>> Cheers, >> >>> Torben >> >>> -- >> >>> http://www.linkedin.com/in/torbenhoffmann >> >>> >> >>> -- >> >>> You received this message because you are subscribed to the Google >> Groups >> >>> "erlware-dev" group. >> >>> To post to this group, send email to [email protected]. >> >>> To unsubscribe from this group, send email to >> >>> [email protected]. >> >>> For more options, visit this group at >> >>> http://groups.google.com/group/erlware-dev?hl=en. >> >> >> >> -- >> >> You received this message because you are subscribed to the Google >> Groups >> >> "erlware-dev" group. >> >> To post to this group, send email to [email protected]. >> >> To unsubscribe from this group, send email to >> >> [email protected]. >> >> For more options, visit this group at >> >> http://groups.google.com/group/erlware-dev?hl=en. >> > >> > >> > >> > -- >> > http://www.linkedin.com/in/torbenhoffmann >> > >> > -- >> > You received this message because you are subscribed to the Google >> Groups >> > "erlware-dev" group. >> > To post to this group, send email to [email protected]. >> > To unsubscribe from this group, send email to >> > [email protected]. >> > For more options, visit this group at >> > http://groups.google.com/group/erlware-dev?hl=en. >> > >> >> -- >> You received this message because you are subscribed to the Google Groups >> "erlware-dev" group. >> To post to this group, send email to [email protected]. >> To unsubscribe from this group, send email to >> [email protected]. >> For more options, visit this group at >> http://groups.google.com/group/erlware-dev?hl=en. >> >> > -- > You received this message because you are subscribed to the Google Groups > "erlware-dev" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/erlware-dev?hl=en. > -- http://www.linkedin.com/in/torbenhoffmann -- You received this message because you are subscribed to the Google Groups "erlware-dev" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/erlware-dev?hl=en.
