🚀 go-pugleaf

In article  <BEVAN.92Apr9151907@panda.cs.man.ac.uk> Stephen J Bevan writes:
]In article <1992Apr8.180420.9294@newshost.lanl.gov> jlg@cochiti.lanl.gov (Jim Giles) writes:
]   The word `type' means any static attribute which is associated with
]   an identifier in such a way that _every_ occurrence of the identifier
]   in a given scope has that attribute.
]
]Is this is a JLG definition or do others share this view?  It
]certainly doesn't match with what my idea of a "type" is.

This is a JLG definition.  I've never heard anything remotely like it
in the literature on types.  What JLG describes is usually refered to
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.

]   In this case you _may_ decide to apply the word `type' to certain
]   properties of _values_, but such a distinction is not useful. 

Humph.  Try programming in Lisp without reference to the types of
values.
-- 
					David Gudeman
gudeman@cs.arizona.edu
noao!arizona!gudeman