Programs That Explain Their Effects with Dominic Orchard!

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