Skip to Main content Skip to Navigation
Conference papers

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 - ENS Paris, 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [31 references]  Display  Hide  Download
Contributor : Francesco Zappa Nardelli Connect in order to contact the contributor
Submitted on : Wednesday, September 26, 2018 - 4:01:59 PM
Last modification on : Wednesday, June 8, 2022 - 12:50:04 PM
Long-term archiving on: : Thursday, December 27, 2018 - 4:29:29 PM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads