KafKa: Gradual Typing for Objects - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

KafKa: Gradual Typing for Objects


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.
Fichier principal
Vignette du fichier
LIPIcs-ECOOP-2018-12.pdf (3.66 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01882148 , version 1 (26-09-2018)


  • HAL Id : hal-01882148 , version 1


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⟩
225 View
338 Download


Gmail Facebook Twitter LinkedIn More