topical media & game development
, 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
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
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.