Musings

This section of the site contains some of my musings on, er, various things, usually of a technical nature. I have no idea who, if anyone (other than myself) would be interested in these things.

Typing in object-oriented languages

One of the issues I tried to address in CINTOL was deficiencies in the design of polymorphism in object-oriented languages. Traditionally object-oriented languages are considered as an extension to imperitive languages such as C, so that 'object' is a type in addition to types such as 'integer'. This essay looks at the issues of designing a type system with one fundamental type: 'object'.