[Prev][Next][Index][Thread]
the meaning of "type", "type system", "calculus"
-
To: types@cs.indiana.edu
-
Subject: the meaning of "type", "type system", "calculus"
-
From: "Dr. Joe Wells" <jbw@dcs.gla.ac.uk>
-
Date: Thu, 13 Nov 1997 18:57:44 GMT
-
Delivery-Date: Thu, 13 Nov 1997 13:57:58 -0500
[I expect a number of us will have opinions about this. Please reply
directly to the poster -- Joe, can you summarize responses? --BCP]
We all see the following words and phrases quite a bit:
"type", "type system", "calculus"
What are the defining characteristics of each of these?
I don't expect to see agreement on the meanings of these words and
phrases. I have asked a number of people already and have never
gotten the same answer twice. The answers are often not even close.
--
Joe Wells