topical media & game development
@VR
In
[Dahl92], a type
T is characterized as a tuple specifying
the set of elements constituting the type
T
and the collection of functions related
to the type
T.
Since constants may be regarded as zero-ary functions
(having no arguments), we will speak of a
signature
or
defining a particular type
T.
Also, in accord with common parlance, we will speak
of the sorts
, which are the sorts (or types)
occurring in the declaration of the functions in
.
(C) Æliens
04/09/2009
You may not copy or print any of this material without explicit permission of the author or the publisher.
In case of other copyright issues, contact the author.