Difference between revisions of "Category:Types"
From Mesham
Jump to navigationJump to search (Created page with 'A type can follow a number of different syntactic forms. The abstract syntax of a type is detailed in the table below. Where ''elementtype'' is defined in the type library, ''var…') |
(No difference)
|
Revision as of 21:41, 10 January 2010
A type can follow a number of different syntactic forms. The abstract syntax of a type is detailed in the table below. Where elementtype is defined in the type library, varname represents a variable name and type :: type represents type combination to coerce into a new supertype.
type = elementtype | compoundtype | type :: type | varname
Compound types are also listed in the type library, to give the reader a flavour they may contain a number of different subcategories of type
compoundtype = attribute | allocation | collection | primitive communication | communication mode | partition | distribution | composition | extended types
Pages in category ‘Types’
The following 3 pages are in this category, out of 3 total.