🚀 go-pugleaf

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.

The word `type' has many meanings, including blocks of material with symbols
in relief on one face, used to create multiple copies of a document for
distribution. Even in the context of languages, I think your definition of
the word "type" is a little narrow. How about:

	The word `type' refers to the set of operations that may
	be performed on a collection of data.
	
In traditional languages, type is usually bound to an identifier. In
object-oriented and dynamically typed languages, type is bound to the
data itself. Now I haven't been exactly happy with our friend at UMD
either, but it would really help us onlookers if you would TRY to use
the same language.
-- 
/F{findfont exch scalefont setfont}def /S{moveto show}def /T{/Times-Roman F}def
8 T(Ferranti International Controls Corporation)24 28 S(+1 713 274 5180)24 12 S
(Sugar Land, TX  77487-5012)24 20 S 12 /Courier F(`-_-')320 32 S( 'U` )320 16 S
12 T(Peter da Silva)24 36 S 16 T(Have you hugged your wolf today?)358 24 S