Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.java.programmer > #11762

Re: Converting Sets

Show all headers | View raw

On 2/6/2012 8:51 PM, Daniel Pitts wrote:
> On 2/6/12 5:47 PM, Arne Vajhøj wrote:
>> On 2/6/2012 3:55 PM, Daniel Pitts wrote:
>>> On 2/4/12 5:49 PM, Arne Vajhøj wrote:
>>>> On 2/2/2012 8:34 PM, Daniel Pitts wrote:
>>>>> On 2/2/12 4:29 PM, Roedy Green wrote:
>>>>>> Have we gone down that road too far now that Java can never be fixed
>>>>>> with run-time generics info without starting over with some
>>>>>> completely
>>>>>> different notation? Then serialisation could work, containers
>>>>>> could be
>>>>>> allocated with the precise array type. You would not have so much
>>>>>> under-the-hood casting.
>>>>> The point of generics is to add compile-time type safety. Runtime
>>>>> "generics" is a contradiction to that.
>>>>
>>>> That was the way it was decided to do it for Java.
>>>>
>>>> But it did have to be that way.
>>>>
>>>> And runtime check can certainly add to type safety!
>>> Yes, I never said anything against that. I said generics were designed
>>> to add compile-time type safety. Runtime type safety is a different
>>> issue.
>>
>> Java generics was designed that way. There are nothing in the
>> generics concept that says it has to be that way.
> Person A: Look at this green grass.
> Person B: But Roses are red!
>
> We're talking about Java generics, not about the concept of "generic"
> generics.

The discussion was about whether runtime generics info could be added.

Limiting that discussion to current design choices does not make
much sense to me.

Arne

Back to comp.lang.java.programmer | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Converting Sets Roedy Green <see_website@mindprod.com.invalid> - 2012-02-01 23:34 -0800
  Re: Converting Sets Mayeul <mayeul.marguet@free.fr> - 2012-02-02 12:47 +0100
    Re: Converting Sets Roedy Green <see_website@mindprod.com.invalid> - 2012-02-02 05:32 -0800
      Re: Converting Sets Mayeul <mayeul.marguet@free.fr> - 2012-02-02 16:06 +0100
        Re: Converting Sets markspace <-@.> - 2012-02-02 09:21 -0800
          Re: Converting Sets Jim Janney <jjanney@shell.xmission.com> - 2012-02-02 13:13 -0700
            Re: Converting Sets markspace <-@.> - 2012-02-02 13:46 -0800
          Re: Converting Sets Roedy Green <see_website@mindprod.com.invalid> - 2012-02-02 16:29 -0800
            Re: Converting Sets Daniel Pitts <newsgroup.nospam@virtualinfinity.net> - 2012-02-02 17:34 -0800
              Re: Converting Sets Arne Vajhøj <arne@vajhoej.dk> - 2012-02-04 20:49 -0500
                Re: Converting Sets Daniel Pitts <newsgroup.nospam@virtualinfinity.net> - 2012-02-06 12:55 -0800
                Re: Converting Sets Arne Vajhøj <arne@vajhoej.dk> - 2012-02-06 20:47 -0500
                Re: Converting Sets Daniel Pitts <newsgroup.nospam@virtualinfinity.net> - 2012-02-06 17:51 -0800
                Re: Converting Sets Arne Vajhøj <arne@vajhoej.dk> - 2012-02-06 20:57 -0500
            Re: Converting Sets markspace <-@.> - 2012-02-03 14:12 -0800
              Re: Converting Sets Lew <lewbloch@gmail.com> - 2012-02-03 22:32 -0800
            Re: Converting Sets Lew <lewbloch@gmail.com> - 2012-02-03 22:30 -0800
          Re: Converting Sets Lew <lewbloch@gmail.com> - 2012-02-03 22:33 -0800
      Re: Converting Sets Daniel Pitts <newsgroup.nospam@virtualinfinity.net> - 2012-02-02 11:02 -0800
    Re: Converting Sets Roedy Green <see_website@mindprod.com.invalid> - 2012-02-02 18:25 -0800
      Re: Converting Sets markspace <-@.> - 2012-02-03 14:25 -0800

csiph-web