In 2011, Wrigstad and Clarke asked whether ownership types are ready for the world. A key open question about ownership types remains whether they are usable in practice. Recent years have seen a number of new programming languages; Rust is most notable for including an ownership system as a key feature, but other new and revised languages (even C++!) have related features which may provide some of the same benefits. In this talk, I’ll investigate support for ownership and related features in these languages and programmers’ acceptance of these features.
Mon 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30
|Are Ownership Types Reaching the World Yet?|
Patrick Lam University of Waterloo, CanadaFile Attached
|Kappa: Insights, Current Status and Future Work|
|Abstract Data Types in Object-Capability Systems|
James Noble Victoria University of Wellington, Sophia Drossopoulou Imperial College London, Mark Miller Google Inc., Toby Murray University of Melbourne, Alex Potanin Victoria University of WellingtonPre-print File Attached