Re: Evaluating functor application only once

Phil Clayton via MLton-user <[email protected]> Sat, 21 Dec 2019 18:01:43 +0000
Newsgroups gmane.comp.lang.ml.mlton.user
Message-ID <[email protected]>
T24gMDQvMDQvMTkgMTE6MTUsIE1hdHRoZXcgRmx1ZXQgd3JvdGU6Cj4gT24gVGh1LCBBcHIgNCwg
MjAxOSBhdCAzOjE4IEFNIFBoaWwgQ2xheXRvbiA8cGhpbC5jbGF5dG9uQHZlb25peC5jb20gCj4g
PG1haWx0bzpwaGlsLmNsYXl0b25AdmVvbml4LmNvbT4+IHdyb3RlOgo+Cj4gICAgIEluIHRoZSBh
YnNlbmNlIG9mIGFwcGxpY2F0aXZlIGZ1bmN0b3JzLCBJIGFtIHRyeWluZyB0byBlbnN1cmUgdGhh
dAo+ICAgICBjZXJ0YWluIGZ1bmN0b3JzIGFyZSBhcHBsaWVkIG9ubHkgb25jZS7CoCAoV2l0aG91
dCBnb2luZyBpbnRvIHRvbyBtdWNoCj4gICAgIGRldGFpbCwgdGhlIGlzc3VlIGlzIHRoYXQgYSBs
aWJyYXJ5IHRoYXQgbmVlZHMgZS5nLgo+ICAgICDCoCDCoHN0cnVjdHVyZSBHVUludDhBcnJheSA9
IENBcnJheShHVUludDgpCj4gICAgIGNhbid0IGtub3cgd2hldGhlciBhbm90aGVyIGxpYnJhcnkg
aGFzIGFscmVhZHkgaW50cm9kdWNlZCB0aGUgc2FtZQo+ICAgICBzdHJ1Y3R1cmUuKQo+Cj4gICAg
IE15IGFwcHJvYWNoIGlzIHRvIGhhdmUgdGhlIGZ1bmN0b3IgYXBwbGljYXRpb24gaW4gaXRzIG93
biBTTUwgZmlsZToKPgo+ICAgICDCoCDCoDxOYW1lPi5zbWwKPiAgICAgwqAgwqAgwqBzdHJ1Y3R1
cmUgPE5hbWU+ID0gRihYKQo+Cj4gICAgIFdpdGggUG9seS9NTCwgd2hpY2ggZG9lc24ndCBzdXBw
b3J0IE1MQiBmaWxlcywgSSBjYW4gaGF2ZSBhCj4gICAgIHZhcmlhbnQgb2YKPiAgICAgInVzZSIg
dGhhdCBvbmx5IHByb2Nlc3NlcyBhIGZpbGUgPE5hbWU+LnNtbCBpZiB0aGVyZSBpcyBubyBleGlz
dGluZwo+ICAgICBzdHJ1Y3R1cmUgPE5hbWU+Lgo+Cj4gICAgIFdpdGggTUxCIGZpbGVzLCBJIHBs
YW4gdG8gYWxzbyBpbnRyb2R1Y2UgPE5hbWU+Lm1sYiAod2hpY2gKPiAgICAgY29udGFpbnMgb25s
eQo+ICAgICA8TmFtZT4uc21sKSBhbmQgcmVmZXIgdG8gdGhhdCwgc28gdGhhdCBpdCB3b24ndCBo
YXZlIGFueSBlZmZlY3QgaWYKPiAgICAgYW5vdGhlciBsaWJyYXJ5IGhhcyBhbHJlYWR5IGV2YWx1
YXRlZCA8TmFtZT4ubWxiLiBXaGF0IEkgYW0gZG9pbmcgaXMKPiAgICAgaW5oZXJlbnRseSBjb21w
bGllci1zcGVjaWZpYywgc28gSSB3b25kZXJlZCAtIGlzIHRoZXJlIGlzIGFueSBvdGhlcgo+ICAg
ICBNTHRvbi1zcGVjaWZpYyB3YXkgb2YgYWNoaWV2aW5nIHRoZSBzYW1lIHRoaW5nLCBlLmcuIE1M
QiBleHRlbnNpb24/Cj4KPgo+IE5vLsKgIFlvdXIgcGxhbiB0byB1c2UgPE5hbWU+Lm1sYiB3b3Vs
ZCBiZSBteSBzdWdnZXN0aW9uOyB0aGUgc2VtYW50aWNzIAo+IG9mIE1MQiBmaWxlcyB0byBldmFs
dWF0ZSBhIDxmaWxlPi5tbGIgZXhhY3RseSBvbmNlIGlzIHByZWNpc2VseSB0byAKPiBzdXBwb3J0
IHRoaXMgc3R5bGUgb2YgIm9uZSBkZWZpbml0aW9uIi4KVGhpcyBpcyBub3Qgd29ya2luZyBvdXQg
YXMgc2ltcGx5IGFzIEkgaGFkIGhvcGVkOiA8TmFtZT4ubWxiIGNhbid0IApjb250YWluIGp1c3Qg
PE5hbWU+LnNtbCwgaXQgbXVzdCBhbHNvIGNvbnRhaW4gdGhlIGRlcGVuZGVuY2llcyBvZiAKPE5h
bWU+LnNtbC7CoCBUbyBhdm9pZCBldmFsdWF0aW5nIGRlcGVuZGVuY2llcyBtb3JlIHRoYW4gb25j
ZSwgaXQgaXMgbXkgCnVuZGVyc3RhbmRpbmcgdGhhdCB0aGV5IG5lZWQgdGhlaXIgb3duIE1MQiBm
aWxlcyBhbmQgd2UgZW5kIHVwIGluIGEgCnNpdHVhdGlvbiB3aGVyZSBldmVyeSBTTUwgZmlsZSBu
ZWVkcyBpdHMgb3duIE1MQiBmaWxlLCB3aGljaCBpcyBwcmV0dHkgCnVnbHkuwqAgT3IgaGF2ZSBJ
IG1pc3VuZGVyc3Rvb2QgdGhlIHNlbWFudGljcyBvZiBNTEIgZmlsZXM/CgpJdCdzIHVuZm9ydHVu
YXRlIHRoYXQgTUxCIGZpbGVzIGRvbid0IHN1cHBvcnQgY29uZGl0aW9uYWwgY29tcGlsYXRpb24g
Cmxpa2UgQ00gZmlsZXMuwqAgQWNoaWV2aW5nICdvbmUgZGVmaW5pdGlvbicgd291bGQgaGF2ZSBi
ZWVuIHNpbXBsZSBpZiB3ZSAKY291bGQgd3JpdGUgc29tZXRoaW5nIGxpa2UKCiDCoCBpZiBub3Qg
KGRlZmluZWQgKHN0cnVjdHVyZSBTKSkKIMKgIHRoZW4KIMKgwqDCoCA8YmFzZGVjPgogwqAgZW5k
CgoKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCk1MdG9u
LXVzZXIgbWFpbGluZyBsaXN0Ck1MdG9uLXVzZXJAbGlzdHMuc291cmNlZm9yZ2UubmV0OyBtbHRv
bi11c2VyQG1sdG9uLm9yZwpodHRwczovL2xpc3RzLnNvdXJjZWZvcmdlLm5ldC9saXN0cy9saXN0
aW5mby9tbHRvbi11c2VyCg==