river-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Shay Hassidim <s...@gigaspaces.com>
Subject RE: correctness, generics, and spaces
Date Thu, 02 Jun 2011 21:53:51 GMT
This makes total sense to me.
-----Original Message-----
From: Dan Creswell [mailto:dan.creswell@gmail.com] 
Sent: Thursday, June 02, 2011 11:58 AM
To: dev@river.apache.org
Subject: Re: correctness, generics, and spaces

On 2 June 2011 14:11, James Grahn <grahnian@gmail.com> wrote:
> On Thu, Jun 2, 2011 at 3:06 AM, Peter Firmstone <jini@zeus.net.au> wrote:
>> Are you suggesting type safety is NOT a necessary language feature in 
>> distributed code?
> Not at all.
> However, type safety is not a feature which is the exclusive terrain 
> of the compiler.   With the force of sufficient reasoning, type safe 
> code can be written without the compiler's explicit blessing.

I recall one of the reasons for introducing generics was because force of sufficient reasoning
proved ineffective such that people would get runtime casting problems when extracting objects
from collections.

Regardless we can have an endless debate about this or do some practical experimentation.

Why don't you branch Outrigger, spec a new JavaSpace interface (e.g.
JavaSpace2011) and then release it as an experiment to the community at large? That way you

(1) See what uptake/appetite is like
(2) Gain valuable feedback
(3) See if the community finds dark corners and has views on what they want done about them
(if anything)

That will make for a much more informed debate IMHO.... (and I'm not saying the debate we're
having at the moment isn't useful but some of us have more experience than others and conflicting
views which makes progress hard. A good way to solve that is put something out into the real-world
and see what happens).

View raw message