Many functions in libraries and APIs have the notion of optional parameters, which can be mapped onto optional properties of an object representing those parameters.
The fact that properties are optional opens up the possibility for APIs and libraries to design a complex "dependency logic" between properties: for example, some properties may be mutually exclusive, some properties may depend on others, etc.
Existing type systems are not strong enough to express such dependency logic, which can lead to the creation of invalid objects and accidental usage of absent properties.
In this paper we propose TypeScriptIPC: a variant of TypeScript with a novel type system that enables programmers to express complex presence constraints on properties.
We prove that it is sound with respect to enforcing complex dependency logic defined by the programmer when an object is created, modified or accessed.
Original languageEnglish
Title of host publication32nd European Conference on Object-Oriented Programming (ECOOP 2018)
EditorsTodd Millstein
Place of PublicationAmsterdam, Netherlands
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Number of pages27
ISBN (Electronic)978-3-95977-079-8
Publication statusPublished - 5 Jul 2018
EventEuropean Conference on Object-Oriented Programming (ECOOP 2018) - Movenpick Hotel Amsterdam City Centre, Amsterdam, Netherlands
Duration: 19 Jul 201821 Jul 2018


ConferenceEuropean Conference on Object-Oriented Programming (ECOOP 2018)
Abbreviated titleECOOP
Internet address

    Research areas

  • Dependency logic, Interfaces, Type checking

ID: 38128988