Return-Path: Delivered-To: apmail-ant-user-archive@www.apache.org Received: (qmail 88587 invoked from network); 19 Oct 2006 00:36:16 -0000 Received: from hermes.apache.org (HELO mail.apache.org) (209.237.227.199) by minotaur.apache.org with SMTP; 19 Oct 2006 00:36:16 -0000 Received: (qmail 50263 invoked by uid 500); 19 Oct 2006 00:36:10 -0000 Delivered-To: apmail-ant-user-archive@ant.apache.org Received: (qmail 50232 invoked by uid 500); 19 Oct 2006 00:36:10 -0000 Mailing-List: contact user-help@ant.apache.org; run by ezmlm Precedence: bulk List-Unsubscribe: List-Help: List-Post: List-Id: "Ant Users List" Reply-To: "Ant Users List" Delivered-To: mailing list user@ant.apache.org Received: (qmail 50221 invoked by uid 99); 19 Oct 2006 00:36:10 -0000 Received: from asf.osuosl.org (HELO asf.osuosl.org) (140.211.166.49) by apache.org (qpsmtpd/0.29) with ESMTP; Wed, 18 Oct 2006 17:36:10 -0700 X-ASF-Spam-Status: No, hits=0.0 required=10.0 tests= X-Spam-Check-By: apache.org Received-SPF: pass (asf.osuosl.org: local policy) Received: from [140.177.10.16] (HELO wolfram.com) (140.177.10.16) by apache.org (qpsmtpd/0.29) with ESMTP; Wed, 18 Oct 2006 17:36:09 -0700 Received: from [140.177.200.37] (jfkleinwin.wri.wolfram.com [140.177.200.37]) (authenticated bits=0) by wolfram.com (8.12.11/8.12.11) with ESMTP id k9J0ZLai020256 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Wed, 18 Oct 2006 19:35:22 -0500 Message-ID: <4536C849.2010608@wolfram.com> Date: Wed, 18 Oct 2006 19:35:21 -0500 From: Joel Klein User-Agent: Thunderbird 1.5.0.7 (Windows/20060909) MIME-Version: 1.0 To: Ant Users List Subject: Re: AW: a problem compiling a Java 5 project with generics References: <45361DE9.8000309@mindspring.com> <45362086.9030902@apache.org> <4536280B.80504@mindspring.com> <45363988.8000905@volantis.com> <45363B4B.9080805@mindspring.com> <45363DB5.3020100@volantis.com> <4536405A.9080806@mindspring.com> <453641A2.9080907@mindspring.com> <7a829e60610181022h33b424e9w427a9744463f85e9@mail.gmail.com> <4536AA97.9000008@apache.org> In-Reply-To: <4536AA97.9000008@apache.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Virus-Checked: Checked by ClamAV on apache.org X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N Steve Loughran wrote: > 1. I dont like all the extra typing you need everywhere; it makes > things more verbose. What is wrong with polymorphic type inference? I'd like to know the story on type inference for Java too, though it is probably more a question for the Types mailing list (http://lists.seas.upenn.edu/mailman/listinfo/types-list) than the Ant list. I do wonder if this introduction of generics without type inference is part of a devious scheme of Martin Odersky, Philip Wadler and company to get everyone to look for something like ML and Haskell which already have type inference. My understanding is that their work on Generic Java (and earlier, Pizza) was folded into the generics you see in Java 1.5, but have never been able to confirm that relationship. If anyone knows for sure, please let me know. And I am kidding when I suggest a "devious scheme", Generic Java had the type annotations too, and I think they were simply interested in adding that power on top of the popular Java language. -- Joel Klein [Online at http://jfkbits.blogspot.com] --------------------------------------------------------------------- To unsubscribe, e-mail: user-unsubscribe@ant.apache.org For additional commands, e-mail: user-help@ant.apache.org