Recursion pitfalls in IO monads and how to avoid them

preview_player
Показать описание
Back after a sick break :) in this video, I'm talking about traps you can easily fall into when using any IO/Task effect/monad (or any monad, for that matter), and how to avoid them.

Read the code:

0:00 - Introduction, overview
0:17 - OutOfMemoryError - example, explanation
6:56 - OOM - solutions
9:23 - StackOverflowError - example, explanation
13:01 - SOE - solutions
15:06 - Summary, parting words

Find out more:
  1. Jakub Kozłowski
  2. cats
  3. cats-effect
  4. io
  5. functional-programming
  6. fp
Рекомендации по теме
Recursion pitfalls in 0:15:35

Recursion pitfalls in IO monads and how to avoid them

Haskell Adventures in 1:14:32

Haskell Adventures in IO - Alejandro Serrano | ZuriHac 2022

Domain Modelling with 0:09:08

Domain Modelling with Haskell: Factoring Out Recursion

Daniel Spiewak - 0:42:06

Daniel Spiewak - The making of an IO - Code Mesh 2017

Alexis King - 1:17:07

Alexis King - “Effects for Less” @ ZuriHac 2020

Paweł Szulc - 0:32:32

Paweł Szulc - GETTING MORE MILEAGE FROM YOUR MONADS WITH MTL

Monads - Part 1:16:57

Monads - Part 4 - Common Monads - Maybe/Option, List, Future, IO, Reader, State

Haskell by Example 0:31:41

Haskell by Example - 8 - Logging and the RIO Monad

Pawel Szulc - 0:44:59

Pawel Szulc - A road trip with Monads: From MTL, through Tagless to Bio

Why Is Haskell 0:49:45

Why Is Haskell So Hard To Learn? (And How To Deal With It) by Saurabh Nanda #FnConf19

Polysemy: Chasing Performance 0:51:36

Polysemy: Chasing Performance in Free Monads — Sandy Maguire

Recursion and Redis 0:21:26

Recursion and Redis - Haskell from Scratch #10

Using Monad Transformers 0:24:23

Using Monad Transformers without understanding them

Beginner friendly introduction 0:57:40

Beginner friendly introduction to Free Monads By Dmitrii Kovanikov

Scripting in Haskell: 0:05:19

Scripting in Haskell: Parsing Command Line Arguments

Haskell for Imperative 0:10:23

Haskell for Imperative Programmers #38 - Monad Transformers

You want to 0:03:00

You want to learn Haskell. This is why.

10 tips to 0:48:11

10 tips to write fast stack-safe functional code in Scala: the automatic-batch… - Christophe Calvès...

scala.bythebay.io: Rob Norris, 0:39:34

scala.bythebay.io: Rob Norris, Pure Functional Database Programming with Fixpoint Types

HOPE 2021 - 0:36:35

HOPE 2021 - Representing Monads with Capabilities

Demystifying Functional Programming 1:01:28

Demystifying Functional Programming • Manuel M T Chakravarty • YOW! 2018

Death of Blocker: 0:11:52

Death of Blocker: blocking in Cats Effect 3 - Scala tutorial

Introduction to Recursion 0:28:37

Introduction to Recursion Schemes – Ratan Sebastian

Ivan Gromakovskii - 0:31:35

Ivan Gromakovskii - Exceptions and concurrency

Комментарии
Автор

Hi Jakub, thank you for your content!
I have question regarding the *> and >> operators: I understand the semantic difference, but often I am not sure which one to use. Especially in non-recursive scenarios (which are most of course), which of them is your goto operator? In what situation would *> be preferred?

georgp.
Автор

Good to know, thanks. Usually, when describing recursion people advice always to stick to tail recursion because of stackoverflow issues, unless you're utilizing technics like trampolining (or use libs which utilize those technics).

mbesida