Re: What is a type? (was Re: Fortran90 and Arrays)

Article View: comp.lang.misc

Article #177

#177

From: The Technicolour Throw-up
Date: Mon, 13 Apr 1992 12:40

16 lines
1436 bytes

From article <15195@optima.cs.arizona.edu>, by gudeman@cs.arizona.edu (David Gudeman):
> as a "static property of an identifier".  The word "type" has several
> completely different definitions, but none that I know of refer to
> static properties in general.  Furthermore, it is only in low-level
> languages that type is an attribute of identifiers at all.  In
> high-level languages type is an attribute of a value.

Type is an attribute of value in dynamically typed languages and is an
attribute of identifiers in statically typed languages.  It has nothing to
do with the level of the language.  There are plenty of high-level languages
that use static typing (e.g. Miranda, haskell).

--
Just my two rubber ningis worth.
Name: Michael Chisnall          email: chisnall@cosc.canterbury.ac.nz
I'm not a .signature virus and nor do I play one on tv.

Technical Details

Message-ID: <1992Apr14.004036.4669@csc.canterbury.ac.nz>

Path: arc1-ca.pugleaf.net!sparky!uunet!wupost!waikato.ac.nz!canterbury.ac.nz!cosc.canterbury.ac.nz!chisnall

References: <15195@optima.cs.arizona.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!wupost!waikato.ac.nz!canterbury.ac.nz!cosc.canterbury.ac.nz!chisnall
Newsgroups: comp.lang.misc
Subject: Re: What is a type? (was Re: Fortran90 and Arrays)
Message-ID: <1992Apr14.004036.4669@csc.canterbury.ac.nz>
From: chisnall@cosc.canterbury.ac.nz (The Technicolour Throw-up)
Date: 14 Apr 92 00:40:35 +1200
Reply-To: chisnall@cosc.canterbury.ac.nz
References: <15195@optima.cs.arizona.edu>
Distribution: world
Organization: Computer Science,University of Canterbury,New Zealand
Nntp-Posting-Host: cantua.canterbury.ac.nz
Lines: 16

Reply to Parent Message