JAVAx.z Yet Another Collections Library
13 Message(s) by 7 Author(s) originally posted in java misc
| From: Godspeed |
Date: Tuesday, October 17, 2006
|
I've started writing a new collections
library based on set
theory as per
Spivey's Z notation. I've put the library on SourceForge. It is currently
in its infancy and it'll 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've resisted calling it yacl, but maybe that is more appropriate!
Brad.
| From: Oliver Wong |
Date: Tuesday, October 17, 2006
|
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
| From: Godspeed |
Date: Tuesday, October 17, 2006
|
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 do not 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 will do that
soon.
The ability to use
domain Restriction, rangeRestriction, transitiveClosure,
inverse,
relation alComposition, relationalOverride should prove
interesting
and satisfying.
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
>
| From: Thomas Weidenfeller |
Date: Tuesday, October 17, 2006
|
wrote in
message :
I've 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.
[the original
posting did not show up at my news server. Probably because
it was x-posted to non-existing groups. So I add my
comment s here.]I'd actually suggest the OP starts with revising the package name.
"JAVAx.z" is in Sun's reserved name space.
Then a
pointer to
http://spivey.oriel.ox.ac.uk/mike/zrm/zrm.pdf might be
in order, too, to enlight candidates about the Z notation. My printed
copy is catching dust for many years, and I doubt one will
win the
hearts and minds of the garden-variety
programmer with a Z-notation
based library, with equally terse documentation. But good luck to the OP.
/Thomas
--
The comp.lang.JAVA.gui FAQ:
http://gd.tuwien.ac.at/faqs/faqs-hierarchy/comp/comp.lang.JAVA.gui/
ftp://ftp.cs.uu.nl/pub/NEWS.ANSWERS/computer-lang/JAVA/gui/faq
| From: Godspeed |
Date: Tuesday, October 17, 2006
|
Thanks for the feedback.
I could change the package name to "au.com.JAVAx.z" or go for something like
"com.zedlib" or just "collections.z" or does Doug Lea own "collections"?
wrote in message:
I've 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.
[the original posting did not show up at my news server. Probably because
it was x-posted to non-existing groups. So I add my comments here.]
I'd actually suggest the OP starts with revising the package name.
"JAVAx.z" is in Sun's reserved name space.
Then a pointer to
http://spivey.oriel.ox.ac.uk/mike/zrm/zrm.pdf might be
in order, too, to enlight candidates about the Z notation. My printed copy
is catching dust for many years, and I doubt one will win the hearts and
minds of the garden-variety programmer with a Z-notation based library,
with equally terse documentation. But good luck to the OP.
/Thomas
--
The comp.lang.JAVA.gui FAQ:
http://gd.tuwien.ac.at/faqs/faqs-hierarchy/comp/comp.lang.JAVA.gui/
> ftp://ftp.cs.uu.nl/pub/NEWS.ANSWERS/computer-lang/JAVA/gui/faq
| From: Andrew Thompson |
Date: Tuesday, October 17, 2006
|
wrote in message:
Thanks for the feedback.
Please refrain from top-posting.
I could change the package name to "au.com.JAVAx.z"
I don't think too many people'd be excited
about a package name proclaiming to come out
of some Australian company called 'JAVAx'.
Package names are supposed to be indicative of
their origin.
..or go for something like "com.zedlib"
Do you own Zedlib (or variants) as a company name?
do you
control the domain zedlib.com? If no - I'd
again suggest not.
..or just "collections.z" or does Doug Lea own "collections"?
Dunno.. but individuals can put
code under there own
names, like
ind.thompson.andrew.etcetera..
..or in your case it might be..
ind.speed.god...
..or..
ind.xagyg
..or..
ind.name.real
BTW - 'godspeed'.. is that /faster/ than 'ludicrous speed'?
Andrew T.
| From: Oliver Wong |
Date: Tuesday, October 17, 2006
|
wrote in message
I could change the package name to "au.com.JAVAx.z" or go for something
like "com.zedlib" or just "collections.z" or does Doug Lea own
"collections"?
The way it usually works, is you use your domain name, in reverse order,
as the
prefix to your package name. For example, if you own "google.com",
you might call your package "com.google.zedlib"
If you do not own a domain name, consider getting one.
If won't get a domain, then just keep in mind the above convention, and
try not to step on anyone's toes (i.e. do not use the "com.google." prefix if
you know someone else owns the "google.com" domain).
- Oliver
| From: Godspeed |
Date: Tuesday, October 17, 2006
|
OK - I have renamed the packages to org.zedlib (yes, I own the domain
zedlib.org).
I'll attempt to get more info up
onto the home page over the next week.
Cheers,
Brad.
| From: Daniel Dyer |
Date: Tuesday, October 17, 2006
|
On Tue, 17 Oct 2006 14:59:33 +0100, Godspeed
<bl719293@xxxxxxxxxxx>
wrote in message:
I have started writing a new collections library based on set theory as
per
Spivey's Z notation. I've put the library on SourceForge. It is
currently
in its infancy and it'll 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 (application
programming interface)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
| From: Xagyg |
Date: Tuesday, October 17, 2006
|
wrote in message:
<stuff deleted>
It might be worthwhile uploading some JAVAdoc API (application programming interface)documentation so people
can get an idea of how the library fits together without having to
download it first.
Hi Daniel. Thanks for the feedback. I'll get some info up on the web
pages tonight. I agree it is very sparsely populated and more info is
required.
At the moment, the JAVAdoc is in the download. I will post a
version on
the project home page and some other blurb that people should find
useful.
I'll attempt to get the code into CVS tonight, but it may take a
little longer given all the other stuff I need to do.
Brad.
| From: Chris Uppal |
Date: Wednesday, October 18, 2006
|
wrote in message:
At the moment, the JAVAdoc is in the download. I will post a version on
the project home page and some other blurb that people should find
useful.
BTW, the JAVADoc comment for Sequence (in the source) is incorrect -- it's
identical to that for Relation. Maybe you had not intended to
release Sequence
yet ?
-- chris
| From: Godspeed |
Date: Wednesday, October 18, 2006
|
<stuff deleted>
BTW, the JAVADoc comment for Sequence (in the source) is incorrect -- it's
identical to that for Relation. Maybe you had not intended to release
Sequence
yet ?
Thanks Chris. It has been a
bit of a rush with the documentation. Although I
have some basic comments, I've cleaned up Set and I will do Relation
next.... then Function etc.
I will try to get another release out in a week that contains better
doco all
round. More tests required too. Set tests are ok. Quite a few Relation tests
are done. Need to
write tests for Function, Sequence, Bag.
I've added some stuff to the project home page that people should find
useful.
Brad.
| From: Xagyg |
Date: Friday, October 20, 2006
|
Next Message: JAVA property files