Revisiting Occurrence Typing - Archive ouverte HAL Access content directly
Journal Articles Science of Computer Programming Year : 2022

Revisiting Occurrence Typing

Abstract

We revisit occurrence typing, a technique to refine the type of variables occurring in type-cases and, thus, capture some programming patterns used in untyped languages. Although occurrence typing was tied from its inception to set-theoretic types—union types, in particular—it never fully exploited the capabilities of these types. Here we show how, by using set-theoretic types, it is possible to develop a general typing framework that encompasses and generalizes several aspects of current occurrence typing proposals and that can be applied to tackle other problems such as the reconstruction of intersection types for unannotated or partially annotated functions and the optimization of the compilation of gradually typed languages.
Fichier principal
Vignette du fichier
main-elsarticle.pdf (553.55 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-02181137 , version 1 (11-07-2019)
hal-02181137 , version 2 (12-07-2019)
hal-02181137 , version 3 (18-07-2019)
hal-02181137 , version 4 (21-10-2021)
hal-02181137 , version 5 (09-02-2022)

Identifiers

Cite

Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen. Revisiting Occurrence Typing. Science of Computer Programming, 2022, 217 (102781), ⟨10.1016/j.scico.2022.102781⟩. ⟨hal-02181137v5⟩
268 View
275 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More