BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Programming with monads  -  Jano Letovanec\, Hughes Hall College
DTSTART:20201104T193000Z
DTEND:20201104T200000Z
UID:TALK153727@talks.cam.ac.uk
CONTACT:Matthew Ireland
DESCRIPTION:We as programmers like solving problems. But we do not like cu
 mbersome repeating and boiler plate. However\, due to side-effects\, bad i
 nputs\, or inconsistent types it is sometimes necessary. Or is it? \n\nIn 
 our attempt to answer that\, I will demystify monads and we will see how m
 onads help us with boiler plate and how they can be used to deal with impu
 re functions in a pure manner. \n\nWe then define monad according to Haske
 ll’s definition\, where we learn about bind operators. \n\nWe will also 
 look into Category theory and we will talk about categories\, functors\, a
 nd natural transformations. \n\nFinally\, we take a look at some limitatio
 ns of monads in an attempt to understand why they are not as widespread as
  one might think. 
LOCATION:Online\, via MS Teams
END:VEVENT
END:VCALENDAR