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 Nov Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 2 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 14:20 Talk | How Are Programs Found? Speculating about Language Ergonomics with Curry-Howard Onward! Essays DOI Pre-print File Attached | ||
14:20 - 15:10 Talk | The Left Hand of Equals Onward! Essays James NobleVictoria University of Wellington, New Zealand, Andrew BlackPortland State University, Kim BrucePomona College, Michael HomerVictoria University of Wellington, Mark MillerGoogle Inc. DOI |