Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Fri 28 Aug 2020 12:00 - 12:30 at Haskell - Paper Session 4 - Effects Chair(s): Pierre-Evariste Dagand

Data science applications tend to be built by composing \emph{tasks}:
discrete manipulations of data. These tasks are arranged in directed
acyclic graphs, and many frameworks exist within the data science
community supporting such a structure, which is called a \emph{workflow}.
In realistic applications, we want to be able to both \emph{analyze}
a workflow in the absence of data, and to \emph{execute} the workflow
with data.

This paper combines effect handlers with arrow-like structures to abstract out
data science tasks. This combination of techniques enables a modular design of
workflows. Additionally, these workflows can both be analyzed prior to running (e.g., to
provide early failure) and run conveniently. Our work is directly motivated by
real-world scenarios, and we believe that our approach is applicable to new
data science and machine learning applications and frameworks.

Fri 28 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

11:30 - 13:00: Paper Session 4 - EffectsHaskell at Haskell
Chair(s): Pierre-Evariste DagandLIP6/CNRS
11:30 - 12:00
A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)
Andrej IvaškovićUniversity of Cambridge, UK, Alan MycroftUniversity of Cambridge, UK
12:00 - 12:30
Composing Effects into Tasks and Workflows
Yves ParèsTweag I/O, France, Jean-Philippe BernardyUniversity of Gothenburg, Sweden, Richard A. EisenbergTweag I/O
12:30 - 13:00
Effect Handlers in Haskell, Evidently
Ningning XieMicrosoft Research, USA, Daan LeijenMicrosoft Research, USA