Article View: comp.lang.misc
Article #213Re: What is a type? (was Re: Fortran90 and Arrays)
From: Stephen J Bevan
Date: Tue, 14 Apr 1992 00:59
Date: Tue, 14 Apr 1992 00:59
18 lines
1609 bytes
1609 bytes
In article <STEPHEN.92Apr13034706@estragon.uchicago.edu> stephen@estragon.uchicago.edu (Stephen P Spackman) writes:
In article <BEVAN.92Apr10173700@panda.cs.man.ac.uk> bevan@cs.man.ac.uk (Stephen J Bevan) writes:
[ type is a "hidden value" that is optimised away in most languages
with static typing ]
Nononono! If this were an accurate description, then the type would be
stored in a field (possibly optimisaed away!) whose type was described
by a field of type ?
Why do I have to give the "type" field a "type" using the same
construction mechanism? Trying to do so obviously results in the same
sort of problem as trying to define the set of all sets. Why can't I
punt on the issue and call the type field an instance of special
"type" which itself can't appear in the "type" field? (Forgive me if
this is straying too far, but isn't a similar "trick" done in category
theory, where there are "small" and "large" categories?)
bevan
Technical Details
Message-ID:
<BEVAN.92Apr14015933@panda.cs.man.ac.uk>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!mucs!m1!bevanReferences:
<BEVAN.92Apr9151907@panda.cs.man.ac.uk> <s37hvINN1j1@network.ucsd.edu> <BEVAN.92Apr10173700@panda.cs.man.ac.uk> <STEPHEN.92Apr13034706@estragon.uchicago.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!mucs!m1!bevan From: bevan@cs.man.ac.uk (Stephen J Bevan) Newsgroups: comp.lang.misc Subject: Re: What is a type? (was Re: Fortran90 and Arrays) Message-ID: <BEVAN.92Apr14015933@panda.cs.man.ac.uk> Date: 14 Apr 92 00:59:33 GMT References: <BEVAN.92Apr9151907@panda.cs.man.ac.uk> <s37hvINN1j1@network.ucsd.edu> <BEVAN.92Apr10173700@panda.cs.man.ac.uk> <STEPHEN.92Apr13034706@estragon.uchicago.edu> Sender: news@cs.man.ac.uk Organization: Department of Computer Science, University of Manchester Lines: 18 In-reply-to: stephen@estragon.uchicago.edu's message of 13 Apr 92 08:46:59 GMT