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. Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/
...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
General Philosophy by Oxford University

General Philosophy

69 Listeners

Anthropology by Oxford University

Anthropology

75 Listeners

Philosophy for Beginners by Oxford University

Philosophy for Beginners

322 Listeners

Approaching Shakespeare by Oxford University

Approaching Shakespeare

329 Listeners

Aesthetics and Philosophy of Art lectures by Oxford University

Aesthetics and Philosophy of Art lectures

76 Listeners

Kant's Critique of Pure Reason by Oxford University

Kant's Critique of Pure Reason

76 Listeners

The Secrets of Mathematics by Oxford University

The Secrets of Mathematics

41 Listeners

Oxford Physics Public Lectures by Oxford University

Oxford Physics Public Lectures

10 Listeners

Theoretical Physics - From Outer Space to Plasma by Oxford University

Theoretical Physics - From Outer Space to Plasma

59 Listeners

Professor of Poetry by Oxford University

Professor of Poetry

24 Listeners