Re: characterization of subset of Monads that respect tail calls?
Tom Ellis <[email protected]> Tue, 27 Sep 2022 20:59:42 +0100
| Newsgroups | gmane.comp.lang.haskell.libraries |
|---|---|
| Message-ID | <YzNWLmLLuCE0gHDJ@cloudinit-builder> |
T24gVHVlLCBTZXAgMjcsIDIwMjIgYXQgMTA6MTU6MjlBTSArMTAwMCwgSXNhYWMgRWxsaW90dCB3 cm90ZToKPiBodHRwczovL3B1cnN1aXQucHVyZXNjcmlwdC5vcmcvcGFja2FnZXMvcHVyZXNjcmlw dC10YWlscmVjLzYuMS4wL2RvY3MvQ29udHJvbC5Nb25hZC5SZWMuQ2xhc3MKPiBzZWVtcyBsaWtl IGEgZ29vZCBzdGFydGluZyBwb2ludAoKU2VlbXMgbGlrZSB0aGF0IHBhY2thZ2UgbWF5IGhhdmUg bWlzc2VkIGEgdHJpY2sgdG8gZW5jb2RlIHRhaWwKcmVjdXJzaXZlbmVzcyB0aHJvdWdoIGEgZGlz dHJpYnV0aW9uIHByb3BlcnR5OgoKCgp7LSMgTEFOR1VBR0UgTGFtYmRhQ2FzZSAjLX0Key0jIExB TkdVQUdFIERlcml2ZUZ1bmN0b3IgIy19Cgptb2R1bGUgUmVjRXhwZXJpbWVudCB3aGVyZQoKZGF0 YSBTdGVwIGEgYiA9IExvb3AgYSB8IERvbmUgYgogIGRlcml2aW5nIEZ1bmN0b3IKCnRhaWxSZWMg OjogKGEgLT4gU3RlcCBhIGIpIC0+IGEgLT4gYgp0YWlsUmVjIGYgPSBnbyAuIGYKICB3aGVyZQog IGdvIChMb29wIGEpID0gZ28gKGYgYSkKICBnbyAoRG9uZSBiKSA9IGIKCi0tIHwgVGhpcyB3b3Jr cyBmb3IgYWxsIG1vbmFkcwp0YWlsUmVjTTEgOjogTW9uYWQgbSA9PiAoYSAtPiBtIChTdGVwIGEg YikpIC0+IGEgLT4gbSBiCnRhaWxSZWNNMSBmIGEgPSBkbwogIGYgYSA+Pj0gXGNhc2UKICAgIExv b3AgYScgLT4gdGFpbFJlY00xIGYgYScKICAgIERvbmUgYiAtPiBwdXJlIGIKCi0tIHwgVGhpcyB3 b3JrcyBmb3IgYWxsIG1vbmFkcyB3aXRoIGEgImRpc3RyaWJ1dGUiIG9wZXJhdGlvbiBvdmVyCi0t IEBTdGVwIGFAIGFuZCBpcyBndWFyYW50ZWVkIHRhaWwgcmVjdXJzaXZlIHZpYSBAdGFpbFJlY0Au CnRhaWxSZWNNMiA6OgogIE1vbmFkIG0gPT4KICAobSAoU3RlcCBhIGIpIC0+IFN0ZXAgYSAobSBi KSkgLT4KICAoYSAtPiBtIChTdGVwIGEgYikpIC0+CiAgYSAtPgogIG0gYgp0YWlsUmVjTTIgZGlz dHJpYnV0ZSBmID0gdGFpbFJlYyAoZGlzdHJpYnV0ZSAuIGYpCl9fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fCkxpYnJhcmllcyBtYWlsaW5nIGxpc3QKTGlicmFy aWVzQGhhc2tlbGwub3JnCmh0dHA6Ly9tYWlsLmhhc2tlbGwub3JnL2NnaS1iaW4vbWFpbG1hbi9s aXN0aW5mby9saWJyYXJpZXMK