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

onward2014-essays
13:30 - 15:00: Onward! Essays - Session 1 at Salon A
Chair(s): Jonathan AldrichCarnegie Mellon University
onward2014-essays13:30 - 14:15
Talk
Stephen KellUniversity of Cambridge
onward2014-essays14:15 - 15:00
Talk
Mathieu AcherUniversity of Rennes, Benoit CombemaleUniversity of Rennes, Philippe ColletUniversity of Nice
Media Attached