In modern programming languages the notion of type has become so natural and widespread that it is easy to forget about its origins and its theoretical relevance. A type is simply seen as a useful means of classification of the objects that a program manipulates: types help to understand better what a program does, and they also provide a valuable firewall against many common programming errors.
KeywordsProgramming Language Type System Category Theory Unit Type Functional Language
Unable to display preview. Download preview PDF.