Do I need to make the function suspending and make...

# arrow

[Matt Thiffault]

Do I need to make the function suspending and make the recursive call in an effect block or something?

[pakoito]

IO is stack safe by design

[pakoito]

oh, I see

[pakoito]

@raulraja stack safety in coroutines attacks again

[pakoito]

in any case you have tailrecM

[pakoito]

follow the types and those are safe

[Matt Thiffault]

Cool, will give tailrecM a try

[raulraja]

suspended functions are not stack safe though

[raulraja]

but you can use tailrec suspend

[raulraja]

or just get inside IO as soon as you can but if you model recursion with suspension you will need tailrec

[Matt Thiffault]

I've tried making such a function tailrec, but the fact that the function is declared as an IO block means you can't actually make a tail call

[Matt Thiffault]

tailrecM FTW.