Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Wednesday, May 17 • 9:00am - 10:30am
Haskell taketh away: limiting side effects for parallel programming

Log in to save this to your schedule and see who's attending!

Feedback form is now closed.

In designing parallel programming abstractions, taking away user capabilities is as important as granting them.  In this talk, I'll explain the role of this idea in several different parallel programming libraries for Haskell, C++, and other languages--spanning from shared memory to big data.

The Haskell language is an experiment in making purely functional programming practical, and, as such, much of its design stems from limiting where and how the user can employ side effects.  Haskell is almost 30 years old, but is used more widely and changing more rapidly than ever before.  It's an exciting time for programming languages that use advanced type systems to accomplish formal software verification, and Haskell sits in midst of this revolution: at a juncture where it draws from the latest ideas in theorem proving languages, while at the same time remaining a practical programming language.

By clearing the canvas of unconstrained effects, Haskell and similar languages allow experimenting with specific combinations of effects that work well together: e.g., for transactional memory, deterministic parallelism, or accessing remote data sources.  Haskell enforces these restrictions at compile time, via the type system.  While C++ cannot limit a method's side effects directly through types, it is well suited to host embedded domain specific languages (EDSLs) that can incorporate the same ideas.

I will argue for a notion of purity that has little to do with whether memory is updated in place or not.  Rather, it has to with whether combinations of effects preserve determinism.

I'll show how entire applications can become deterministic functions of their inputs, including I/O.  Ultimately we can call entire C++ programs from inside a pure function in Haskell, without violating any rule of the type system or the language's runtime semantics. 

Finally, over the course of this talk I'll also describe some specific history where C++ has affected the evolution of Haskell, and where, conversely Haskell may have a few ideas to offer.  Haskell and C++ are both old languages that nevertheless keep changing regularly. There are even some surprising contemporary commonalities; for example, C++ and Haskell are two of the best languages available for data baking.


Speakers
avatar for Ryan Newton

Ryan Newton

Associate Professor, Indiana University
Ryan is a functional programmer of 25 years, and is a member of the Glasgow Haskell Compiler steering committee. Ryan Newton received his Ph.D. in computer science from MIT in 2009, advised by Arvind and Samuel Madden. His thesis introduced techniques for efficiently distributin... Read More →


Wednesday May 17, 2017 9:00am - 10:30am
Paepke Auditorium

Attendees (86)