KafKa: Gradual Typing for Objects

Benjamin Chung 1 Paley Li 1, 2 Francesco Zappa Nardelli 3, 1 Jan Vitek 1, 2
3 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
Abstract : A wide range of gradual type systems have been proposed, providing many languages with the ability to mix typed and untyped code. However, hiding under language details, these gradual type systems embody fundamentally different ideas of what it means to be well-typed. In this paper, we show that four of the most common gradual type systems provide distinct guarantees, and we give a formal framework for comparing gradual type systems for object-oriented languages. First, we show that the different gradual type systems are practically distin-guishable via a three-part litmus test. We present a formal framework for defining and comparing gradual type systems. Within this framework, different gradual type systems become translations between a common source and target language, allowing for direct comparison of semantics and guarantees.
Type de document :
Communication dans un congrès
ECOOP 2018 - 2018 European Conference on Object-Oriented Programming, Jul 2018, Amsterdam, Netherlands
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01882148
Contributeur : Francesco Zappa Nardelli <>
Soumis le : mercredi 26 septembre 2018 - 16:01:59
Dernière modification le : vendredi 28 septembre 2018 - 09:58:19

Fichier

LIPIcs-ECOOP-2018-12.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01882148, version 1

Collections

Citation

Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek. KafKa: Gradual Typing for Objects. ECOOP 2018 - 2018 European Conference on Object-Oriented Programming, Jul 2018, Amsterdam, Netherlands. 〈hal-01882148〉

Partager

Métriques

Consultations de la notice

386

Téléchargements de fichiers

124