Free Monad or Tagless Final? How Not to Commit to a Monad Too Early
Please log in to watch this conference skillscast.
There are (at least) two ways to solve the problem, which are quite popular: free monads and the tagless final encoding. Both are equivalent in expressive power, but are radically different when it comes to code.
In this live-coding talk, you will learn how to transform a simple application which relies on Futures into more generic forms, using either the free monad or tagless final. You will discover how these two representations compare in terms of boilerplate, readability, composability and stack-safety. You will also explore which approach might be a better fit for selected use-ca
YOU MAY ALSO LIKE:
- sttp: the Scala HTTP client that you always wanted! (SkillsCast recorded in September 2017)
- ScalaCon 2022: Opening Keynote Networking Party (in London on 4th October 2022)
- ScalaCon 2022 (Online Conference on 4th - 8th October 2022)
- Team Topology - Enablement mode (Online Meetup on 6th October 2022)
- A Conceptual Introduction to Nix for Haskellers (SkillsCast recorded in November 2021)
- Haskell in the Enterprise: A Report from in the Belly of the Whale (SkillsCast recorded in November 2021)
Thank you to our sponsors and partners
Platinum
Gold
Silver
Bronze
Partners
Free Monad or Tagless Final? How Not to Commit to a Monad Too Early
Adam Warski
Adam is one of the co-founders of SoftwareMill, a company specialising in delivering customised software solutions. He codes mostly on the back-end using Scala and other interesting technologies. Adam created a couple of open-source projects, such as sttp, MacWire, Hibernate Envers and ElasticMQ. He has been a speaker at major conferences, such as Devoxx, JavaOne, LambdaConf and ScalaDays.