u/gregKin r/haskell • Recommends
A Series of Unfortunate Effects - Robert M. Avram (Lambda World 2019)
0:00 / 0:00
#effectsystems#freemonads#monadtransformers
Lambda World 2019 - A Series of Unfortunate Effects - Robert M. Avram
Lambda World
10K subscribers • 16 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Robert M. Avram
- An opinion. It argues one side of a question engineers disagree on.
Intermediate. Assumes working knowledge.
5.6K views6 years ago1 recommendation
Programming languagesSoftware designHaskellFunctional programmingDesign patterns
Robert M. Avram discusses the trade-offs and unfortunate consequences of different effect models in functional programming.
In this Lambda World 2019 presentation, Robert M. Avram talks about the consequences of effect models. Full Presentation Description The very essence of functional programming relies on a fairly simple premise: write side-effectless programs, so that you can reason about them equationally. Side-effects however are predominant in every program that . . . well, does something useful. In light of this, the modelling of effects in functional programs has become a fairly active domain of study. From stacked effects, to horizontal ones; from transformers to free monads and so on. Every effect model, though joyfully they may seem, have some rather unfortunate consequences. In this talk, I'd like to share with you some of these effect models and exemplify both their joyful and unfortunate nature. ------ Follow: -twitter.com/lambda_world -twitter.com/47deg -twitter.com/amrobert11 Visit: -47deg.com/events for more details -lambda.worldWhy it's here
1 person recommends thisWhat people say. Recommended for its critical analysis of the downsides of various Haskell effect systems and monad transformers.
u/bikethiefgobrrrrrin r/functionalprogramming • Mentions
On “Medieval talk about monads, free types and algebraic effects”
I asked an old coworker, it was "Lambda World 2019 - A Series of Unfortunate Effects - Robert M. Avram": [video
u/iedoubin r/haskell • Mentions
On “Which effect system is the easiest to grasp after learning mtl?”
You could watch [video and read the code https://github.com/AvramRobert/unfortunate-effects-hs.
Hope it could help you.