Next Meetup

Programs That Explain Their Effects
Speaker: Dominic Orchard ( The traditional approach to writing effectful programs in Haskell is to use monads and the 'do' notation. In the talk, Dominic will 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. There will also be concrete, real-world examples.

City University

College Building, St John Street · London. EC1V 4PB

    Past Meetups

    What we're about

    Public Group

    Haskell is the most advanced purely-functional programming language. This group welcomes all functional programmers categorically! (or otherwise).

    Members (1,405)

    Photos (13)