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)
Place of PublicationAmsterdam, Netherlands
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Pages14:1-14:27
Number of pages27
Volume109
ISBN (Electronic)978-3-95977-079-8
StatePublished - 5 Jul 2018
EventEuropean Conference on Object-Oriented Programming (ECOOP 2018) - Movenpick Hotel Amsterdam City Centre, Amsterdam, Netherlands
Duration: 19 Jul 201821 Jul 2018
https://2018.ecoop.org

Conference

ConferenceEuropean Conference on Object-Oriented Programming (ECOOP 2018)
Abbreviated titleECOOP
CountryNetherlands
CityAmsterdam
Period19/07/1821/07/18
Internet address

    Research areas

  • type checking, interfaces, dependency logic

ID: 38128988