2026-07-23T06:22:43Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5215 2024-03-06T10:36:04Z ddc:004 open_access

Towards Practical Gradual Typing Takikawa, Asumu Feltey, Daniel Dean, Earl Flatt, Matthew Findler, Robert Bruce Tobin-Hochstadt, Sam Felleisen, Matthias Gradual typing object-oriented programming performance evaluation Over the past 20 years, programmers have embraced dynamically-typed programming languages. By now, they have also come to realize that programs in these languages lack reliable type information for software engineering purposes. Gradual typing addresses this problem; it empowers programmers to annotate an existing system with sound type information on a piecemeal basis. This paper presents an implementation of a gradual type system for a full-featured class-based language as well as a novel performance evaluation framework for gradual typing. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Asumu Takikawa and Daniel Feltey and Earl Dean and Matthew Flatt and Robert Bruce Findler and Sam Tobin-Hochstadt and Matthias Felleisen 2015 Is Part Of LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECOOP.2015.4 urn:nbn:de:0030-drops-52156 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.4 eng https://creativecommons.org/licenses/by/3.0/legalcode