characterization of subset of Monads that respect tail calls?

[Isaac Elliott]

https://pursuit.purescript.org/packages/purescript-tailrec/6.1.0/docs/Control.Monad.Rec.Class
seems like a good starting point

On Tue, 27 Sept 2022, 6:39 am Carter Schonwald, <carter.schonwald at gmail.com>
wrote:

> Hello everyone!
> a recent conversation I has having led to an interesting question: is
> there a good interface or something for Monads which guarantee tail calls
> are tail calls? (ideally via a stronger api assumption for tail position
> computations in a monad rather than "trustme" style api contracts)
>
> thx
> -Carter
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20220927/93f75a61/attachment.html>