Write a Blog >>
Mon 19 Jun 2017 10:30 - 11:10 at Sala Agora - Monday - 10:30 - 12:50 - Sala Agora

Writing safe asynchronous code is often an uneasy fit in a strict, impure functional language like Scala. While high-level constructions like futures facilitate asynchronous programming, syntactic limitations often make blocking calls, or the unchecked access of asynchronously-computed values more natural than the safer alternatives. This talk will introduce Impromptu, a lightweight Scala API for safely defining and executing graphs of dependent tasks, without blocking or unsafe-access of asynchronously-computed values. Impromptu uses Scala’s type system and type inference to automatically encode a task’s dependencies within its type, then utilizes these types as constraints to restrict access to values produced by tasks declared as dependencies, and thereby known to be complete. This results in very lightweight and natural syntax, without blocking or unsafe access. Furthermore, Impromptu will take advantage of current research into implicit functions in the Dotty compiler to remove a small amount of remaining boilerplate syntax for each task.

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:50: Monday - 10:30 - 12:50 - Sala AgoraCurry On Talks at Sala Agora
10:30 - 11:10
Talk
Curry On Talks
Jon PrettyPropensive Ltd
11:20 - 12:00
Talk
Curry On Talks
12:10 - 12:50
Talk
Curry On Talks
Allison McMillanCollective Idea