Free Monad or Tagless Final? How Not to Commit to a Monad Too Early
Please log in to watch this conference skillscast.
Functional programming is on the rise; monads are everywhere. But how to choose the right wrapper for the values which we manipulate (i.e. monad)? Quite often, the answer is far from obvious, and it’s useful to delay the decision as much as possible. Furthermore, picking a particular monad too early might only obscure important business logic details.
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)
- Real-time Systems with Spark Streaming and Kafka (in London on 30th September - 1st October 2019)
- Fast Track to F# with Tomas Petricek (in London on 31st October - 1st November 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Clojure eXchange 2019 (in London on 2nd - 3rd December 2019)
- How Open Source is Funded & Privacy Engineering for the World of Kafka (in London on 24th September 2019)
- Keynote by Zainab Ali on Abstract Data Types In The Region Of Abysmal Pain, And How To Navigate Them (in London on 30th September 2019)
- The Last Frontier and Beyond (SkillsCast recorded in August 2019)
- Why API Design Matters, and Why Yours Sucks! (and mine sucks too!) (SkillsCast recorded in June 2019)
Thanks to our sponsors
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.
Please log in to watch this conference skillscast.
Functional programming is on the rise; monads are everywhere. But how to choose the right wrapper for the values which we manipulate (i.e. monad)? Quite often, the answer is far from obvious, and it’s useful to delay the decision as much as possible. Furthermore, picking a particular monad too early might only obscure important business logic details.
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)
- Real-time Systems with Spark Streaming and Kafka (in London on 30th September - 1st October 2019)
- Fast Track to F# with Tomas Petricek (in London on 31st October - 1st November 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Clojure eXchange 2019 (in London on 2nd - 3rd December 2019)
- How Open Source is Funded & Privacy Engineering for the World of Kafka (in London on 24th September 2019)
- Keynote by Zainab Ali on Abstract Data Types In The Region Of Abysmal Pain, And How To Navigate Them (in London on 30th September 2019)
- The Last Frontier and Beyond (SkillsCast recorded in August 2019)
- Why API Design Matters, and Why Yours Sucks! (and mine sucks too!) (SkillsCast recorded in June 2019)
Thanks to our sponsors
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.