Re: correctness, generics, and spaces

2011-06-02 Thread Peter Firmstone
James Grahn wrote: but I'd appreciate some clarification as to what that objection is. I don't believe that any annotations or fancier tools will be necessary. Are you suggesting type safety is NOT a necessary language feature in distributed code? By adding a Generic JavaSpace API to

Re: correctness, generics, and spaces

2011-06-02 Thread Tom Hobbs
I have to agree with Peter on this. It's easy to make a good enough solution using generic, particularly if you're developing services within a single safe environment. E.g. At your company where all services are written by people on your team and hosted on a private company subnet. But River

Re: correctness, generics, and spaces

2011-06-02 Thread James Grahn
On Thu, Jun 2, 2011 at 3:06 AM, Peter Firmstone j...@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

Re: correctness, generics, and spaces

2011-06-02 Thread Dan Creswell
On 2 June 2011 14:11, James Grahn grahn...@gmail.com wrote: On Thu, Jun 2, 2011 at 3:06 AM, Peter Firmstone j...@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

Re: correctness, generics, and spaces

2011-06-02 Thread Gregg Wonderly
On 6/1/2011 11:38 PM, James Grahn wrote: On Wed, Jun 1, 2011 at 11:33 PM, Peter Firmstonej...@zeus.net.au wrote: Remember the compiler doesn't type check dynamic code conversion, only static conversion. Dynamic happens at runtime. Services are dynamic, discovered at runtime. As I said, I

Re: correctness, generics, and spaces

2011-06-02 Thread James Grahn
On Thu, Jun 2, 2011 at 11:58 AM, Dan Creswell dan.cresw...@gmail.com wrote: 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. I find the

RE: correctness, generics, and spaces

2011-06-02 Thread Shay Hassidim
This makes total sense to me. Shay -Original Message- From: Dan Creswell [mailto:dan.cresw...@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 grahn...@gmail.com wrote: On Thu, Jun

Re: correctness, generics, and spaces

2011-06-02 Thread Peter Firmstone
James Grahn wrote: What is the bigger picture you're concerned with? Reliability, developers experiencing unexpected run time errors and compatibility issues in deployed code when using Generics in Service API. In our earlier discussions I provided an example of how generics can remain

Re: correctness, generics, and spaces

2011-06-01 Thread James Grahn
- From: James Grahn [mailto:grahn...@gmail.com] Sent: Tuesday, May 31, 2011 7:05 PM To: dev@river.apache.org Subject: correctness, generics, and spaces Hello all, I've been doing some pondering on the question of generics in spaces again. ==Background== To refresh those who've

Re: correctness, generics, and spaces

2011-06-01 Thread Patricia Shanahan
On 6/1/2011 10:31 AM, James Grahn wrote: ... I am now wondering: is the Gigaspaces code available? Under what license? And is anyone there interested in contributing? ... My understanding is that GigaSpaces is a commercial product, although a limited version is available for free use. See

Re: correctness, generics, and spaces

2011-06-01 Thread Peter Firmstone
, your feedback in discussions will prove valuable, I'm sure. james -Original Message- From: James Grahn [mailto:grahn...@gmail.com] Sent: Tuesday, May 31, 2011 7:05 PM To: dev@river.apache.org Subject: correctness, generics, and spaces Hello all, I've been doing some pondering

Re: correctness, generics, and spaces

2011-06-01 Thread Patricia Shanahan
On 6/1/2011 6:19 PM, Peter Firmstone wrote: The argument for generics in remote interfaces is to reduce boilerplate code, the argument against is, it introduces unchecked type casts. (See earlier discussion) Is there another way to reduce the boilerplate code, using annotations perhaps? ...

Re: correctness, generics, and spaces

2011-06-01 Thread Peter Firmstone
I believe an annotation that flags ASM to post process the byte code to add runtime type safety checks would do the trick.| Then we can say, yes Generics are supported in remote code, you just need to add this @RuntimeServiceCheck annotation. Perhaps one of the following annotions:

Re: correctness, generics, and spaces

2011-06-01 Thread James Grahn
On Wed, Jun 1, 2011 at 11:33 PM, Peter Firmstone j...@zeus.net.au wrote: Remember the compiler doesn't type check dynamic code conversion, only static conversion.  Dynamic happens at runtime.  Services are dynamic, discovered at runtime. As I said, I believe that with one additional proviso

RE: correctness, generics, and spaces

2011-06-01 Thread Shay Hassidim
/LatestProductVersion Shay -Original Message- From: Patricia Shanahan [mailto:p...@acm.org] Sent: Wednesday, June 01, 2011 6:33 PM To: dev@river.apache.org Subject: Re: correctness, generics, and spaces On 6/1/2011 10:31 AM, James Grahn wrote: ... I am now wondering: is the Gigaspaces code available