Some Ideas on Data Types in High Level Languages
No Access Until
Permanent Link(s)
Collections
Other Titles
Author(s)
Abstract
WE explore some new and old ideas concerning data types; what a data type is, overloading operators, when and how implicit conversions between programmer data types should be allowed and so forth. The current notion that a data type is a set of values together with basic operations in that set leads us to conclude that formal parameter types need not be so explicitly stated. Given a formal parameter X with operations