Please log in to watch this conference skillscast.
Supermonads to the rescue! The supermonad abstraction captures several different generalisations of monads and come with a version of the standard library of monadic functions that work uniformly with all of them.
As standard Haskell type inference does not work for supermonads, our implementation is accompanied with a language extension, in the form of a plugin for the Glasgow Haskell Compiler (GHC), that addresses this problem thus making supermonads as easy to use as standard monads, even when several different generalizations are in use at once. During this talk, you will learn what supermonads are, how they are realised in Haskell, and illustrate how they can be used in some practical examples.
YOU MAY ALSO LIKE:
- Principled Testing of Functional Reactive Systems (SkillsCast recorded in October 2019)
- Haskell Fundamentals (2-Day Course) with Alejandro Serrano (Online Course on 5th - 6th July 2021)
- Haskell Fundamentals (4-Day Course) with Alejandro Serrano (Online Course on 8th - 11th November 2021)
- Haskell eXchange 2021 (Online Conference on 16th - 17th November 2021)
- Theorems for Free (SkillsCast recorded in November 2020)
- Comparing Strict and Lazy (SkillsCast recorded in November 2020)
Supermonads: One Notion to Bind Them All
Dr. Henrik Nilsson is a Lecturer at the School of Computer Science, University of Nottingham. He holds a PhD in Computer Science from Linköping University, Sweden. His topic was debugging techniques and tools for lazy functional languages. Prior to taking up his current post, Dr. Nilsson held a position as Associate Research Scientist at the Department of Computer Science, Yale University, working mainly on Functional Reactive Programming with Prof. Paul Hudak. Dr. Nilsson's current research interests include functional programming, reactive programming, domain-specific languages for modelling and simulation, and unified notions of effectful computation.