Tue 27 Oct 2015 14:00 - 14:30 at Ellwood 2 - Typing OO Languages Chair(s): Alex Potanin

The aspiration of gradual typing — that typed and untyped code can coexist happily, with errors reported at runtime when the types are found to be wrong — has led many languages, including our own, to adopt the paradigm. The practice is different; even the term itself has been refined short of this aspiration, and languages abdicate their responsibilities as soon as they become too onerous: when an object reënters dynamically-typed code, in the presence of aliasing, or with regard to secure object identity.

A type assertion should be meaningful. Aliases of the same object ascribed different types, the collapse of variant or generic types, objects passed to dynamically-typed code with the understanding that they had a particular type, and even past behaviour, are all routes through which an assertion can be falsified, but all practical gradual systems ignore some or all of these cases. The level of knowledge the system has can change behaviour, and the only morally correct behaviour is to retain an impossibly complete level of information on the types of objects.

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
Typing OO LanguagesNOOL at Ellwood 2
Chair(s): Alex Potanin Victoria University of Wellington
13:30
30m
Talk
Ubiquitous Object Orientation to Foster the Advancement of Programming Languages
NOOL
Darya Melicher Carnegie Mellon University
Link to publication
14:00
30m
Talk
Gradual typing is morally incorrect; we're all monsters now
NOOL
Timothy Jones Victoria University of Wellington, Michael Homer Victoria University of Wellington
Link to publication
14:30
30m
Talk
Enforcing Object-based Access in Newspeak
NOOL
Link to publication