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.

Reply via email to