BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Computer Laboratory Programming Research Group Sem
inar
SUMMARY:Embedding effect systems in Haskell - Dominic Orch
ard (University of Cambridge)
DTSTART;TZID=Europe/London:20140829T140000
DTEND;TZID=Europe/London:20140829T150000
UID:TALK53899AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/53899
DESCRIPTION:Monads are now an everyday tool in functional prog
ramming for abstracting and delimiting effects. Th
e link between monads and effect systems is well-k
nown\, but monads provide a much more coarse-grain
ed view of effects. Whilst effect systems capture
fine-grained information about the effects\, monad
s provide only a binary view: effectful or pure.\n
\nRecent theoretical work has unified fine-grained
effect systems with monads using a monad-like str
ucture 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 type system (as provided by GHC) to embed this
approach in Haskell\, providing user-programmable
effect systems. We explore a number of practical e
xamples that make Haskell even better and safer fo
r effectful programming. Along the way\, we relate
the examples to other concepts\, such as Haskell'
s implicit parameters and coeffects.\n\nThis a pra
ctise talk for the Haskell symposium at ICFP. This
is joint work with Tomas Petricek.
LOCATION:SS03
CONTACT:Raphael Proust
END:VEVENT
END:VCALENDAR