Type Inference of Asynchronous Arrows in JavaScript (REBLS 2015 - Reactive and Event-based Languages & Systems )

Fri 23 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States

Who

Eric Fritz, Tian Zhao

Track

REBLS 2015

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 27 Oct 2015 10:52 - 11:15 at Haselton 1 - Session 2

Abstract

Asynchronous programming with callbacks in JavaScript leads to code that is difficult to understand and maintain. Arrows, a generalization of monads, are an elegant solution to asynchronous program composition. Unfortunately, improper arrow composition can cause mysterious failures with subtle sources. We present an arrows-based DSL in JavaScript which encodes semantics similar to ES6 Promises and an optional type-checker that reports errors at arrow composition time.

Eric Fritz

Tian Zhao

University of Wisconsin-Milwaukee