javax.z Yet Another Collections Library

[Godspeed]

I have started writing a new collections library based on set theory as per
Spivey's Z notation. I have put the library on SourceForge. It is currently
in its infancy and it will be expanded fairly rapidly.

Let me know if you are interested in getting involved.

To try it out go to: http://sourceforge.net/projects/zedlib

.... or search for project "javax.z"

I have resisted calling it yacl, but maybe that is more appropriate!

Brad.

[Oliver Wong]

"Godspeed" <bl******@bigpond.net.auwrote in message
news:9l*******************@news-server.bigpond.net.au...

>I have started writing a new collections library based on set theory as per
Spivey's Z notation.

[...]

>
To try it out go to: http://sourceforge.net/projects/zedlib

Maybe you should put a little blurb on the homepage about why people
should prefer your library over Sun's.

- Oliver

[Godspeed]

Good idea. Just for a teaser...

Sequence extends Function extends Relation extends Set implements
java.util.Set

Bag extends Function ...

IMO, Sun has incorrectly modelled Map (which is equivalent to Spivey's
Function) separate to a Set. However, a Function (Map) is actually a type of
Set. Sun's collections don't have a natural Relation class which is a
mapping of X to Y values, where X can be repeated if it maps to a different
Y (hence, different to Map). A Sun Map should be a type of Relation (IMO)
which I call a Function following Spivey.

I suppose there is a purist reason for using javax.z, and it should make
collections more useful and usable. One major improvement I should make is
to introduce interfaces (they are all classes at the moment). I'll do that
soon.

The ability to use domainRestriction, rangeRestriction, transitiveClosure,
inverse, relationalComposition, relationalOverride should prove interesting
and satisfying.

"Oliver Wong" <ow***@castortech.comwrote in message
news:6z5Zg.17660$P7.1375@edtnps90...

>
"Godspeed" <bl******@bigpond.net.auwrote in message
news:9l*******************@news-server.bigpond.net.au...

>>I have started writing a new collections library based on set theory as
per Spivey's Z notation.

[...]

>>
To try it out go to: http://sourceforge.net/projects/zedlib

Maybe you should put a little blurb on the homepage about why people
should prefer your library over Sun's.

- Oliver

[Daniel Dyer]

On Tue, 17 Oct 2006 14:59:33 +0100, Godspeed <bl******@bigpond.net.au>
wrote:

I have started writing a new collections library based on set theory as
per
Spivey's Z notation. I have put the library on SourceForge. It is
currently
in its infancy and it will be expanded fairly rapidly.

Let me know if you are interested in getting involved.

To try it out go to: http://sourceforge.net/projects/zedlib

I went to have a look at the code but the CVS repository is empty.

It might be worthwhile uploading some Javadoc API documentation so people
can get an idea of how the library fits together without having to
download it first.

Dan.

--
Daniel Dyer
http://www.uncommons.org