Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Thu 22 Sep 2016 15:45 - 16:10 at Noh Theater - Language Features Chair(s): Niki Vazou

Monads have taken the world by storm, and are supported by
do-notation (at least in Haskell). Programmers are increasingly
waking up to the usefulness and ubiquity of Applicatives, but they
have so far been hampered by the absence of supporting notation. In
this paper we show how to re-use the very same do-notation to work
for Applicatives as well, providing efficiency benefits for some types
that are both Monad and Applicative, and syntactic convenience for
those that are merely Applicative. The result is fully implemented
as an optional extension in GHC, and is in use at Facebook to make
it easy to write highly-parallel queries in a distributed system.

Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

15:20 - 16:10
Language FeaturesHaskell at Noh Theater
Chair(s): Niki Vazou UC San Diego
Pattern Synonyms
Matthew Pickering , Gergo Erdi , Simon Peyton Jones Microsoft Research, UK, Richard A. Eisenberg Bryn Mawr College
Desugaring Haskell's do-Notation into Applicative Operations
Simon Marlow Facebook, Simon Peyton Jones Microsoft Research, UK, Edward Kmett , Andrey Mokhov