BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Embedding effect systems in Haskell - Dominic Orchard (University 
 of Cambridge)
DTSTART:20140829T130000Z
DTEND:20140829T140000Z
UID:TALK53899@talks.cam.ac.uk
CONTACT:Raphael Proust
DESCRIPTION:Monads are now an everyday tool in functional programming for 
 abstracting and delimiting effects. The link between monads and effect sys
 tems is well-known\, but monads provide a much more coarse-grained view of
  effects. Whilst effect systems capture fine-grained information about the
  effects\, monads provide only a binary view: effectful or pure.\n\nRecent
  theoretical work has unified fine-grained effect systems with monads usin
 g a monad-like structure indexed by a monoid of effect annotations (called
  parametric effect monads). This aligns the power of monads with the power
  of effect systems.\n\nThis paper leverages recent advances in Haskell's t
 ype system (as provided by GHC) to embed this approach in Haskell\, provid
 ing user-programmable effect systems. We explore a number of practical exa
 mples that make Haskell even better and safer for effectful programming. A
 long the way\, we relate the examples to other concepts\, such as Haskell'
 s implicit parameters and coeffects.\n\nThis a practise talk for the Haske
 ll symposium at ICFP. This is joint work with Tomas Petricek. 
LOCATION:SS03
END:VEVENT
END:VCALENDAR