Re: characterization of subset of Monads that respect tail calls?

https://pursuit.purescript.org/packages/purescript-tailrec/6.1.0/docs/Contro... seems like a good starting point On Tue, 27 Sept 2022, 6:39 am Carter Schonwald, 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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries