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.
