characterization of subset of Monads that respect tail calls?

Isaac Elliott isaace71295 at
Tue Sep 27 00:15:29 UTC 2022
seems like a good starting point

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

> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list