Refining types using type guards in TypeScript

Ivo Gabe de Wolff; J. Hage

doi:10.1145/3018882.3018887

Refining types using type guards in TypeScript

Ivo Gabe de Wolff
, J. Hage

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Abstract

We discuss two adaptations of the implementation of type guards and narrowing in the TypeScript compiler. The first is an improvement on the original syntax-directed implementation, and has now replaced the original one in the TypeScript compiler. It is specifically suited for the scenario in which an IDE requests the type of a particular variable in the program. The second implementation is defined as a whole program analysis, and is therefore able to compute more precise narrowed types, but at the price of a higher run-time cost.

Original language	English
Title of host publication	Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Subtitle of host publication	PEPM 2017
Publisher	Association for Computing Machinery
Pages	111-122
Number of pages	12
ISBN (Print)	9781450347211
DOIs	https://doi.org/10.1145/3018882.3018887
Publication status	Published - 2 Jan 2017

Access to Document

10.1145/3018882.3018887

Cite this

@inproceedings{14c7c76bf30249fe80b66662ef2dbeae,

title = "Refining types using type guards in TypeScript",

abstract = "We discuss two adaptations of the implementation of type guards and narrowing in the TypeScript compiler. The first is an improvement on the original syntax-directed implementation, and has now replaced the original one in the TypeScript compiler. It is specifically suited for the scenario in which an IDE requests the type of a particular variable in the program. The second implementation is defined as a whole program analysis, and is therefore able to compute more precise narrowed types, but at the price of a higher run-time cost.",

author = "\{de Wolff\}, \{Ivo Gabe\} and J. Hage",

year = "2017",

month = jan,

day = "2",

doi = "10.1145/3018882.3018887",

language = "English",

isbn = "9781450347211",

pages = "111--122",

booktitle = "Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation",

publisher = "Association for Computing Machinery",

address = "United States",

}

TY - GEN

T1 - Refining types using type guards in TypeScript

AU - de Wolff, Ivo Gabe

AU - Hage, J.

PY - 2017/1/2

Y1 - 2017/1/2

N2 - We discuss two adaptations of the implementation of type guards and narrowing in the TypeScript compiler. The first is an improvement on the original syntax-directed implementation, and has now replaced the original one in the TypeScript compiler. It is specifically suited for the scenario in which an IDE requests the type of a particular variable in the program. The second implementation is defined as a whole program analysis, and is therefore able to compute more precise narrowed types, but at the price of a higher run-time cost.

AB - We discuss two adaptations of the implementation of type guards and narrowing in the TypeScript compiler. The first is an improvement on the original syntax-directed implementation, and has now replaced the original one in the TypeScript compiler. It is specifically suited for the scenario in which an IDE requests the type of a particular variable in the program. The second implementation is defined as a whole program analysis, and is therefore able to compute more precise narrowed types, but at the price of a higher run-time cost.

U2 - 10.1145/3018882.3018887

DO - 10.1145/3018882.3018887

M3 - Conference contribution

SN - 9781450347211

SP - 111

EP - 122

BT - Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

PB - Association for Computing Machinery

ER -

Refining types using type guards in TypeScript

Abstract

Access to Document

Fingerprint

Cite this