Onward! 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
Wed 22 Oct 2014 13:30 - 14:15 at Salon A - Session 1 Chair(s): Jonathan Aldrich

The concept of “type” has been used without a precise definition in discussions about programming languages for 60 years. The set of people with a technical interest in programming languages is a broad one, and although many distinct, precise definitions have been used consistently within distinct subsets, I have long harboured a sense that discourse between such groups is unnecessarily strained by the cross purposes which arise in discussions mentioning the word “type”. In this essay I explore this matter from both a personal perspective and a historical one. I argue that two essential notions of “type” arose independently – one from programming traditions and the other from symbolic logic traditions – and despite a prevailing presumption to the contrary (on both sides), they have never been explicitly unified in the literature. I’ll also argue that having recognised the distinction, it might be more profitable to leave them unreconciled and distinct, owing to some fundamental differences in nature between mathematical truths and “economic truths”. Nevertheless, I argue that trending developments in both the theory and practice of programming make it important to resolve our differences, and offer some personal thoughts about how to do so.

Wed 22 Oct

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
Session 1Onward! Essays at Salon A
Chair(s): Jonathan Aldrich Carnegie Mellon University
In search of types
Onward! Essays
Stephen Kell University of Cambridge
Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language
Onward! Essays
Mathieu Acher University of Rennes, Benoit Combemale University of Rennes, Philippe Collet University of Nice
Media Attached