Wed 2 Nov 2016 14:20 - 15:10 at Zürich 2 - Onward! Essays I
When is one object equal to another object? While object \emph{identity} is fundamental to object-oriented systems, object \textit{equality}, although tightly intertwined with identity, is harder to pin down. The distinction between identity and equality is reflected in object-oriented languages, almost all of which provide two variants of ``equality'', while some provide many more. Programmers can usually override at least one of these forms of equality, and can always define their own methods to distinguish their own objects.
This essay takes a reflexive journey through fifty years of identity and equality in object-oriented languages, and ends somewhere we did not expect: a ``left-handed'' equality relying on trust and grace.
Wed 2 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 2 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:10 | |||
13:30 50mTalk | How Are Programs Found? Speculating about Language Ergonomics with Curry-Howard Onward! Essays DOI Pre-print File Attached | ||
14:20 50mTalk | The Left Hand of Equals Onward! Essays James Noble Victoria University of Wellington, New Zealand, Andrew Black Portland State University, Kim Bruce Pomona College, Michael Homer Victoria University of Wellington, Mark Miller Google Inc. DOI |