From owner-sc22wg5@open-std.org Wed Dec 1 20:49:55 2010 Return-Path: X-Original-To: sc22wg5-dom8 Delivered-To: sc22wg5-dom8@www2.open-std.org Received: by www2.open-std.org (Postfix, from userid 521) id 1D09AC3BA06; Wed, 1 Dec 2010 20:49:55 +0100 (CET) X-Original-To: sc22wg5@open-std.org Delivered-To: sc22wg5@open-std.org X-Greylist: delayed 854 seconds by postgrey-1.18 at www2.open-std.org; Wed, 01 Dec 2010 20:49:53 CET Received: from exprod6og111.obsmtp.com (exprod6og111.obsmtp.com [64.18.1.27]) by www2.open-std.org (Postfix) with ESMTP id A54A0C3BA03 for ; Wed, 1 Dec 2010 20:49:52 +0100 (CET) Received: from source ([136.162.34.13]) (using TLSv1) by exprod6ob111.postini.com ([64.18.5.12]) with SMTP ID DSNKTPam37H2j2jY+4rpnpf04WQ+OIYeHwvE@postini.com; Wed, 01 Dec 2010 11:49:53 PST Received: from fortran.us.cray.com (fortran.us.cray.com [172.31.19.200]) by stplmr01.us.cray.com (8.14.3/8.13.8/hubv2-LastChangedRevision: 12441) with ESMTP id oB1JZYko003272; Wed, 1 Dec 2010 13:35:36 -0600 Message-ID: <4CF6A3AE.6060505@cray.com> Date: Wed, 01 Dec 2010 13:36:14 -0600 From: Bill Long Reply-To: longb@cray.com Organization: Cray Inc. User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US; rv:1.9.2.11) Gecko/20101013 Thunderbird/3.1.5 MIME-Version: 1.0 To: fortran standards email list for J3 Cc: sc22wg5 Subject: Re: (j3.2006) (SC22WG5.4361) Fwd: [ukfortran] WG5 informal ballot reInterop. TR References: <20101201145857.1C0BFC3BA06@www2.open-std.org> In-Reply-To: <20101201145857.1C0BFC3BA06@www2.open-std.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-sc22wg5@open-std.org Precedence: bulk On 12/1/10 8:58 AM, Aleksandar Donev wrote: > Forgot the reply all for WG5, sorry... > > -------- Original Message -------- > Subject: Re: (j3.2006) (SC22WG5.4360) [ukfortran] WG5 informal ballot > reInterop. TR > Date: Wed, 01 Dec 2010 08:55:40 -0500 > From: Aleksandar Donev > Reply-To: fortran standards email list for J3 > To: fortran standards email list for J3 > > > > On 11/30/2010 10:11 PM, Malcolm Cohen wrote: >>> E) Re UTI 1: I do not like "unlimited polymorphic", and in fact >>> strongly prefer that it me made very clear assumed type has nothing to >>> do with unlimited polymorphic. But the standardese may need some more >>> work than I have time for. >> >> But it *is* unlimited polymorphic. This discussion came up at the last meeting. The problem that Aleks raises is that all discussion of polymorphic, and unlimited polymorphic, in the standard is in the section titled "CLASS". And the operational sentence is: "An entity declared with the CLASS(*) specifier is an unlimited polymorphic entity." The proposal is, in effect, to add another sentence in the standard that says: "An entity declared with the TYPE(*) specifier is an unlimited polymorphic entity." That opens a can of worms because the standard is littered with statements like "If MOLD is unlimited polymorphic ...". In all of these cases, we mean something declared CLASS(*), and not something declared TYPE(*). In other words, the current standard uses "unlimited polymorphic" as a synonym for "declared CLASS(*)". The consequences are that (1) readers assume they are the same, and (2) going back and changing all of these statements to exclude TYPE(*) seems like more work that just avoiding the association of TYPE(*) with the term 'unlimited polymorphic' in the first place. Cheers, Bill > Well, sure, since you have defined it. Perhaps that definition was fine > when we only had CLASS(*). I am proposing that it ought to be changed > now to *only* include CLASS(*), and TYPE(*) be separate. Polymorphic > should mean an object that can have different dynamic types. > Assumed-type objects should be classified as having no type. It is > different from "has a type that I do not know at compile time". I know > it requires more work to invent this new kind of untyped objected, but I > think it is important, > IMHO, > Aleks > > -- > Aleksandar Donev, Assistant Professor of Mathematics > Courant Institute of Mathematical Sciences > Office: 909 Warren Weaver Hall, New York University > E-mail:donev@courant.nyu.edu > Phone: (212) 992-7315; Fax: (212) 995-4121 > Mailing address: 251 Mercer St, New York, NY 10012 > Web:http://cims.nyu.edu/~donev > _______________________________________________ > J3 mailing list > J3@j3-fortran.org > http://j3-fortran.org/mailman/listinfo/j3 > -- Bill Long longb@cray.com Fortran Technical Support & voice: 651-605-9024 Bioinformatics Software Development fax: 651-605-9142 Cray Inc./Cray Plaza, Suite 210/380 Jackson St./St. Paul, MN 55101