International Conference on Functional Programming 2017

Faster Coroutine Pipelines


Listen Later

Mike Spivey, University of Oxford, UK, gives the first presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. Coroutine pipelines provide an attractive structuring mechanism for complex programs that process streams of data, with the advantage over lazy streams that both ends of a pipeline may interact with the I-O system, as may processes in the middle. Two popular Haskell libraries, Pipes and Conduit, support such pipelines. In both libraries, pipelines are implemented in a direct style by combining a free monad of communication events with an interpreter for (pseudo-)parallel composition that interleaves the events of its argument processes. These implementations both suffer from a slow-down when processes are deeply nested in sequence or in parallel. We propose an alternative implementation of pipelines based on continuations that does not suffer from this slow-down. What is more, the implementation is significantly faster on small, communication-intensive examples even where they do not suffer from the slow-down, and faster even than comparable programs based on lazy streams. The continuation-based implementation may be derived from the direct-style implementation by algebraic reasoning.
...more
View all episodesView all episodes
Download on the App Store

International Conference on Functional Programming 2017By Oxford University


More shows like International Conference on Functional Programming 2017

View all
Philosophy for Beginners by Oxford University

Philosophy for Beginners

330 Listeners

Approaching Shakespeare by Oxford University

Approaching Shakespeare

334 Listeners

General Philosophy by Oxford University

General Philosophy

71 Listeners

Aesthetics and Philosophy of Art lectures by Oxford University

Aesthetics and Philosophy of Art lectures

77 Listeners

Theoretical Physics - From Outer Space to Plasma by Oxford University

Theoretical Physics - From Outer Space to Plasma

57 Listeners

Critical Reasoning: A Romp Through the Foothills of Logic by Oxford University

Critical Reasoning: A Romp Through the Foothills of Logic

39 Listeners

The Secrets of Mathematics by Oxford University

The Secrets of Mathematics

41 Listeners

Critical Reasoning for Beginners by Oxford University

Critical Reasoning for Beginners

32 Listeners

Literature and Form by Oxford University

Literature and Form

18 Listeners

CortexCast - A Neuroscience Podcast by Oxford University

CortexCast - A Neuroscience Podcast

4 Listeners