Alexey Kotlyarov: Extensible effects in Haskell

​Melbourne Compose's next Functional Programming meetup is on the evening of Thursday August 21, and is presented by Alexey Kotlyarov:

Extensible effects in Haskell


Pure functional programming talks about functions without side effects. While sometimes the rest are called just "impure", it's often useful to distinguish them better: does a particular function modify some state, write to disk or install Java on the machine?*

Traditionally the effects are expressed using separate type classes such as State and IO. However, defining those for your own domain together with their interpreters is tedious. Fortunately, Haskell lets us extract a framework for doing that with no boilerplate.

We will look at some motivational examples for defining, using and handling effects through the effectful library, and see how effects are used in a (somewhat) practical application.
* Real effect examples


Arrive from 5:30 pm for conversation & socialising, we'll begin the presentation around 630. We'll probably go for dinner on Lygon st afterwards .

As always, newcomers most welcome. Reach Ben on 0407 990 094 on the night if you have any issues finding the venue.