No Ops for tailRecM

[Atry]

I guess we can create a FlatMapIdOps that contains tailRecM method, like what we had in ApplicativeIdOps

[diesalbla]

@Atry tailRecM is a method in the FlatMap type class, but AFAIK it mostly attends an implementation concern, i.e., that of avoiding stack overflows when using, say, a traverse method. I am not entirely sure as to whether a specific syntax for it would be warranted.

Of course, I could be wrong. ¿Could you provide a code example where such syntax would be useful?

[edmundnoble]

Monadic tail recursion is just as useful as ordinary tail recursion, especially if at the use site you don't know what monad it is. People use it in user code all the time.

[Atry]

@diesalbla When I was porting ThoughtWorks Each to cats, I looked for whileM_ #1569 (comment) . Then I found there is a similar method tailRecM.

I guess I will use whileM_ if it presents.