| |
| | Definition of Type | Lambda the Ultimate |
 | | If you want an honest definition of `type', with no qualifier, that is, `type' in the most general sense of the word, then you have to get it from someone who knows lots of type systems, and it is clear that you don't. |
 | | For your definition, since Heron is statically typed, you might want to modify the definition to make the connection between types and terms in the language. |
 | | If there is no encompassing definition for type, or type system, and it seems there are very different definitions of it, then the original poster is right that it only makes sense to provide one in his specific Heron context. |
| lambda-the-ultimate.org /node/view/412 (6650 words) |
|