the meaning of "type", "type system", "calculus"
Subject: the meaning of "type", "type system", "calculus"
From: "Dr. Joe Wells" <firstname.lastname@example.org>
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.