У нас вы можете посмотреть бесплатно [OOPSLA23] Structural Subtyping as Parametric Polymorphism или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Structural Subtyping as Parametric Polymorphism (Video, OOPSLA2 2023) Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, and Sam Lindley (University of Edinburgh, UK; Huawei Zurich Research Center, Switzerland; Heriot-Watt University, UK; TU Berlin, Germany / University of Edinburgh, UK; University of Glasgow, UK; University of Edinburgh, UK; University of Edinburgh, UK) Abstract: Structural subtyping and parametric polymorphism provide similar flexibility and reusability to programmers. For example, both features enable the programmer to provide a wider record as an argument to a function that expects a narrower one. However, the means by which they do so differs substantially, and the precise details of the relationship between them exists, at best, as folklore in literature. In this paper, we systematically study the relative expressive power of structural subtyping and parametric polymorphism. We focus our investigation on establishing the extent to which parametric polymorphism, in the form of row and presence polymorphism, can encode structural subtyping for variant and record types. We base our study on various Church-style λ-calculi extended with records and variants, different forms of structural subtyping, and row and presence polymorphism. We characterise expressiveness by exhibiting compositional translations between calculi. For each translation we prove a type preservation and operational correspondence result. We also prove a number of non-existence results. By imposing restrictions on both source and target types, we reveal further subtleties in the expressiveness landscape, the restrictions enabling otherwise impossible translations to be defined. More specifically, we prove that full subtyping cannot be encoded via polymorphism, but we show that several restricted forms of subtyping can be encoded via particular forms of polymorphism. Article: https://doi.org/10.1145/3622836 ORCID: https://orcid.org/0009-0000-6589-3821, https://orcid.org/0000-0003-4730-9315, https://orcid.org/0000-0001-6745-2560, https://orcid.org/0000-0001-5048-0741, https://orcid.org/0000-0001-9927-7875, https://orcid.org/0009-0005-6966-4037, https://orcid.org/0000-0002-1360-4714 Video Tags: row types, subtyping, polymorphism, expressiveness, oopslab23main-p306-p, doi:10.1145/3622836, orcid:0009-0000-6589-3821, orcid:0000-0003-4730-9315, orcid:0000-0001-6745-2560, orcid:0000-0001-5048-0741, orcid:0000-0001-9927-7875, orcid:0009-0005-6966-4037, orcid:0000-0002-1360-4714 Presentation at the OOPSLA2 2023 conference, October 22–27, 2023, https://2023.splashcon.org/track/spla... Sponsored by ACM SIGPLAN,