Programs That Explain Their Effects with Dominic Orchard!
Details
Are you interested in learning more about the different approaches to writing effectful programs in Haskell? Don't miss this month's HaskellX Bytes with Dominic Orchard!
https://secure.meetupstatic.com/photos/event/a/e/a/4/600_465404708.jpeg
The traditional approach to writing effectful programs in Haskell is to use monads and the 'do' notation. In this talk, I'll show two richer structures for capturing effects: parameterised monads and graded monads. Both provide a way to capture more information about the side effects of a program in the program's types, which can be used for detecting effect-related bugs. These structures can be programmed with directly in GHC/Haskell due to an extension which allows the 'do' notation to be rebound to different structures other than a monad. I'll give a few concrete, real-world examples.
FREE TICKETS
Attendance is free for registered delegates, and you can register here: https://skillsmatter.com/meetups/10247-programs-that-explain-their-effects-with-dominic-orchard?tc=aba4a5
WHAT, WHEN, WHERE
WHAT: Programs That Explain Their Effects with Dominic Orchard!
WHEN: Wednesday, 8th November
WHERE: Skills Matter, CodeNode
REGISTRATION(FREE): https://skillsmatter.com/meetups/10247-programs-that-explain-their-effects-with-dominic-orchard?tc=aba4a5
Programs That Explain Their Effects with Dominic Orchard!