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.
