[CFP] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Taro Sekiyama <[email protected]> Wed, 29 Apr 2026 18:29:31 +0900
| Newsgroups | gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <CA+8nPw+DbOLBArApvj1Yx0yXp7+dLoQz98+g6iEGU=Dt2mEuKA@mail.gmail.com> |
VEw7RFI6DQpUYWxrIHByb3Bvc2FsIGRlYWRsaW5lIGZvciBIT1BFIDIwMjYgaXMgb24gTWF5IDI5 LCAyMDI2Lg0KVGhpcyB5ZWFyLCB0aGUgd29ya3Nob3Agd2lsbCBiZSBjby1sb2NhdGVkIHdpdGgg SUNGUCcyNiAoSW5kaWFuYSwgVVMpDQphbmQgRlcnMjYgKFBhcmlzLCBGcmFuY2UpDQotLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tDQoNCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgSE9QRSAyMDI2DQoNCiAgICAg ICAgICAgIFRoZSAxNHRoIEFDTSBTSUdQTEFOIFdvcmtzaG9wIG9uDQogICAgICAgICAgICBIaWdo ZXItT3JkZXIgUHJvZ3JhbW1pbmcgd2l0aCBFZmZlY3RzDQoNCiAgICAgICAgICAgICAgICAgICAg ICAgICAgQXVndXN0IDI0LCAyMDI2DQogICAgICAgICAgICAgICAgICAodGhlIGRheSBiZWZvcmUg SUNGUCAyMDI2KQ0KDQogICAgICAgICAgaHR0cHM6Ly9pY2ZwMjYuc2lncGxhbi5vcmcvaG9tZS9o b3BlLTIwMjYNCg0KDQpIT1BFIDIwMjYgYWltcyB0byBicmluZyB0b2dldGhlciByZXNlYXJjaGVy cyBpbnRlcmVzdGVkIGluIHRoZSBkZXNpZ24sDQpzZW1hbnRpY3MsIGltcGxlbWVudGF0aW9uLCBh bmQgdmVyaWZpY2F0aW9uIG9mIGhpZ2hlci1vcmRlciBlZmZlY3RmdWwNCnByb2dyYW1zLiBJdCB3 aWxsIGJlICppbmZvcm1hbCosIGNvbnNpc3Rpbmcgb2YgaW52aXRlZCB0YWxrcywgY29udHJpYnV0 ZWQgdGFsa3MNCm9uIHdvcmsgaW4gcHJvZ3Jlc3MsIGFuZCBvcGVuLWVuZGVkIGRpc2N1c3Npb24g c2Vzc2lvbnMuDQoNCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NCkNhbGwgZm9yIFRhbGsgUHJvcG9z YWxzDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KDQpXZSBzb2xpY2l0IHByb3Bvc2FscyBmb3Ig Y29udHJpYnV0ZWQgdGFsa3MuIFdlIHJlY29tbWVuZCBwcmVwYXJpbmcgcHJvcG9zYWxzIG9mDQph dCBtb3N0IDIgcGFnZXMgZXhjbHVkaW5nIHJlZmVyZW5jZXMsIGluIGVpdGhlciBwbGFpbiB0ZXh0 IG9yIFBERg0KZm9ybWF0LiBIb3dldmVyLCB3ZSB3aWxsIGFjY2VwdCBsb25nZXIgcHJvcG9zYWxz IG9yIHN1Ym1pc3Npb25zIHRvIG90aGVyDQpjb25mZXJlbmNlcywgdW5kZXIgdGhlIHVuZGVyc3Rh bmRpbmcgdGhhdCBQQyBtZW1iZXJzIGFyZSBvbmx5IGV4cGVjdGVkIHRvIHJlYWQNCnRoZSBmaXJz dCB0d28gcGFnZXMgb2Ygc3VjaCBsb25nZXIgc3VibWlzc2lvbnMuIFdoZW4gc3VibWl0dGluZyB0 YWxrIHByb3Bvc2FscywNCmF1dGhvcnMgc2hvdWxkIHNwZWNpZnkgaG93IGxvbmcgYSB0YWxrIHRo ZSBzcGVha2VyIHdpc2hlcyB0byBnaXZlLiBCeSBkZWZhdWx0LA0KY29udHJpYnV0ZWQgdGFsa3Mg d2lsbCBiZSAzMCBtaW51dGVzIGxvbmcsIGJ1dCBwcm9wb3NhbHMgZm9yIHNob3J0ZXIgb3IgbG9u Z2VyDQp0YWxrcyB3aWxsIGFsc28gYmUgY29uc2lkZXJlZC4gU3BlYWtlcnMgbWF5IGFsc28gc3Vi bWl0IHN1cHBsZW1lbnRhcnkgbWF0ZXJpYWwNCihlLmcuIGEgZnVsbCBwYXBlciwgdGFsayBzbGlk ZXMpIGlmIHRoZXkgZGVzaXJlLCB3aGljaCBQQyBtZW1iZXJzIGFyZSBmcmVlIChidXQNCm5vdCBl eHBlY3RlZCkgdG8gcmVhZC4NCg0KV2UgYXJlIGludGVyZXN0ZWQgaW4gdGFsa3Mgb24gYWxsIHRv cGljcyByZWxhdGVkIHRvIHRoZSBpbnRlcmFjdGlvbiBvZg0KaGlnaGVyLW9yZGVyIHByb2dyYW1t aW5nIGFuZCBjb21wdXRhdGlvbmFsIGVmZmVjdHMuIFRhbGtzIGFib3V0IHdvcmsNCmluIHByb2dy ZXNzIGFyZSBwYXJ0aWN1bGFybHkgZW5jb3VyYWdlZC4gSWYgeW91IGhhdmUgYW55IHF1ZXN0aW9u cw0KYWJvdXQgdGhlIHJlbGV2YW5jZSBvZiBhIHBhcnRpY3VsYXIgdG9waWMsIHBsZWFzZSBjb250 YWN0IHRoZSBQQw0KY2hhaXJzLCBUYXJvIFNla2l5YW1hICh0c2VraXlhbWFAYWNtLm9yZykgYW5k IEZyYW5jZXNjbyBHYXZhenpvDQooZnJhbmNlc2NvLmdhdmF6em9AdW5pcGQuaXQpLg0KDQpJbXBv cnRhbnQgTm90ZTogSE9QReKAmTI2IHdpbGwgYmUgY28tbG9jYXRlZCB3aXRoIElDRlDigJkyNg0K KGh0dHBzOi8vaWNmcDI2LnNpZ3BsYW4ub3JnLykgYW5kIEZX4oCZMjYNCihodHRwczovL3d3dy5p cmlmLmZyL35zY2hlcmVyL2V2ZW50cy9mcHctMjAyNi9hbm5vdW5jZS5odG1sKS4NClByZXNlbnRl cnMgY2FuIGNob29zZSBlaXRoZXIgZXZlbnQgdG8gYXR0ZW5kIGluLXBlcnNvbi4gV2UgYWxzbw0K ZW5jb3VyYWdlIHJlbW90ZSBwYXJ0aWNpcGF0aW9uIGFuZCB3aWxsIHN1cHBvcnQgcmVtb3RlIHBy ZXNlbnRhdGlvbnMuDQoNCkRlYWRsaW5lIGZvciB0YWxrIHByb3Bvc2FsczogTWF5IDI5LCAyMDI2 IChGcmlkYXkpDQoNCk5vdGlmaWNhdGlvbiBvZiBhY2NlcHRhbmNlOiAgSnVuZSAyNiwgMjAyNiAo RnJpZGF5KQ0KDQpXb3Jrc2hvcDogIEF1Z3VzdCAyNCwgMjAyNiwgSW5kaWFuYSwgVW5pdGVkIFN0 YXRlcyAmIFBhcmlzLCBGcmFuY2UgKHRlbnRhdGl2ZWx5KQ0KDQpUaGUgc3VibWlzc2lvbiB3ZWJz aXRlIGlzIG5vdyBvcGVuOg0KDQogICAgICAgICAgaHR0cHM6Ly9ob3BlMjYuaG90Y3JwLmNvbQ0K DQotLS0tLS0tLS0tLS0tLS0tLS0tLS0NCldvcmtzaG9wIE9yZ2FuaXphdGlvbg0KLS0tLS0tLS0t LS0tLS0tLS0tLS0tDQoNClByb2dyYW0gQ29tbWl0dGVlOg0KDQpZdXlhbiBCYW8gKEF1Z3VzdGEg VW5pdmVyc2l0eSkNClJhcGhhw6tsbGUgQ3J1YmlsbMOpIChBaXgtTWFyc2VpbGxlIFVuaXZlcnNp dHkpDQpGcmFuY2VzY28gRGFnbmlubyAoVW5pdmVyc2l0eSBvZiBHZW5vdmEpDQpFbGVuYSBkaSBM YXZvcmUgKFVuaXZlcnNpdHkgb2YgT3hmb3JkKQ0KRnJhbmNlc2NvIEdhdmF6em8gKFVuaXZlcnNp dHkgb2YgUGFkdWEpDQpDcmlzdGluYSBNYXRhY2hlIChVbml2ZXJzaXR5IG9mIEVkaW5idXJnaCkN CktlbiBTYWtheW9yaSAoVGhlIFVuaXZlcnNpdHkgb2YgVG9reW8pDQpUYXJvIFNla2l5YW1hIChO YXRpb25hbCBJbnN0aXR1dGUgb2YgSW5mb3JtYXRpY3MpDQpEYXJpbyBTdGVpbiAoUmFkYm91ZCBV bml2ZXJzaXR5KQ0KTmllbHMgVm9vcm5ldmVsZCAoQ3liZXJuZXRpY2EpDQpaaGl4dWFuIFlhbmcg KFVuaXZlcnNpdHkgb2YgRXhldGVyKQ0KDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0NCkdvYWxzIG9m IHRoZSBXb3Jrc2hvcA0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQoNCkEgcmVjdXJyaW5nIHRoZW1l IGluIG1hbnkgcGFwZXJzIGF0IElDRlAsIGFuZCBpbiB0aGUgcmVzZWFyY2ggb2YgbWFueSBJQ0ZQ DQphdHRlbmRlZXMsIGlzIHRoZSBpbnRlcmFjdGlvbiBvZiBoaWdoZXItb3JkZXIgcHJvZ3JhbW1p bmcgd2l0aCB2YXJpb3VzIGtpbmRzIG9mDQplZmZlY3RzOiBzdG9yYWdlIGVmZmVjdHMsIEkvTywg Y29udHJvbCBlZmZlY3RzLCBjb25jdXJyZW5jeSwgZXRjLiBXaGlsZSBlZmZlY3RzDQphcmUgb2Yg Y3JpdGljYWwgaW1wb3J0YW5jZSBpbiBtYW55IGFwcGxpY2F0aW9ucywgdGhleSBhbHNvIG1ha2Ug Y29kZSBoYXJkZXIgdG8NCmJ1aWxkLCBtYWludGFpbiwgYW5kIHJlYXNvbiBhYm91dC4gSGlnaGVy LW9yZGVyIGxhbmd1YWdlcyAoYm90aCBmdW5jdGlvbmFsIGFuZA0Kb2JqZWN0LW9yaWVudGVkKSBw cm92aWRlIGEgdmFyaWV0eSBvZiBhYnN0cmFjdGlvbiBtZWNoYW5pc21zIHRvIGhlbHAg4oCcdGFt ZeKAnSBvcg0K4oCcZW5jYXBzdWxhdGXigJ0gZWZmZWN0cyAoZS5nLiBtb25hZHMgYW5kIGhhbmRs ZXJzLCBBRFRzLCBvd25lcnNoaXAgdHlwZXMsDQp0eXBlc3RhdGUsIGZpcnN0LWNsYXNzIGV2ZW50 cywgdHJhbnNhY3Rpb25zLCBIb2FyZSBUeXBlIFRoZW9yeSwgc2Vzc2lvbiB0eXBlcywNCnN1YnN0 cnVjdHVyYWwgYW5kIHJlZ2lvbi1iYXNlZCB0eXBlIHN5c3RlbXMpLCBhbmQgYSBudW1iZXIgb2Yg ZGlmZmVyZW50IHNlbWFudGljDQptb2RlbHMgYW5kIHZlcmlmaWNhdGlvbiB0ZWNobm9sb2dpZXMg aGF2ZSBiZWVuIGRldmVsb3BlZCBpbiBvcmRlciB0byBjb2RpZnkgYW5kDQpleHBsb2l0IHRoZSBi ZW5lZml0cyBvZiB0aGlzIGVuY2Fwc3VsYXRpb24gKGUuZy4gYmlzaW11bGF0aW9ucywgc3RlcC1p bmRleGVkDQpLcmlwa2UgbG9naWNhbCByZWxhdGlvbnMsIGhpZ2hlci1vcmRlciBzZXBhcmF0aW9u IGxvZ2ljLCBnYW1lIHNlbWFudGljcywgdmFyaW91cw0KbW9kYWwgbG9naWNzKS4gQnV0IHRoZXJl IHJlbWFpbiBtYW55IG9wZW4gcHJvYmxlbXMsIGFuZCB0aGUgZmllbGQgaXMgaGlnaGx5DQphY3Rp dmUuDQoNClRoZSBnb2FsIG9mIHRoZSBIT1BFIHdvcmtzaG9wIGlzIHRvIGJyaW5nIHJlc2VhcmNo ZXJzIGZyb20gYSB2YXJpZXR5IG9mDQpkaWZmZXJlbnQgYmFja2dyb3VuZHMgYW5kIHBlcnNwZWN0 aXZlcyB0b2dldGhlciB0byBleGNoYW5nZSBuZXcgYW5kIGV4Y2l0aW5nDQppZGVhcyBjb25jZXJu aW5nIHRoZSBkZXNpZ24sIHNlbWFudGljcywgaW1wbGVtZW50YXRpb24sIGFuZCB2ZXJpZmljYXRp b24gb2YNCmhpZ2hlci1vcmRlciBlZmZlY3RmdWwgcHJvZ3JhbXMuDQoNCldlIHdhbnQgSE9QRSB0 byBiZSBhcyBpbmZvcm1hbCBhbmQgaW50ZXJhY3RpdmUgYXMgcG9zc2libGUuIFRoZSBwcm9ncmFt IHdpbGwNCnRodXMgaW52b2x2ZSBhIGNvbWJpbmF0aW9uIG9mIGludml0ZWQgdGFsa3MsIGNvbnRy aWJ1dGVkIHRhbGtzIGFib3V0IHdvcmsgaW4NCnByb2dyZXNzLCBhbmQgb3Blbi1lbmRlZCBkaXNj dXNzaW9uIHNlc3Npb25zLiBUaGVyZSB3aWxsIGJlIG5vIHB1Ymxpc2hlZA0KcHJvY2VlZGluZ3Ms IGJ1dCBwYXJ0aWNpcGFudHMgd2lsbCBiZSBpbnZpdGVkIHRvIHN1Ym1pdCB3b3JraW5nIGRvY3Vt ZW50cywgdGFsaw0Kc2xpZGVzLCBldGMuLCB0byBiZSBtYWRlIGF2YWlsYWJsZSBvbmxpbmUuDQoN Ci0tDQpUYXJvIFNla2l5YW1hDQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fXwpIYXNrZWxsIG1haWxpbmcgbGlzdCAtLSBoYXNrZWxsQGhhc2tlbGwub3JnClRv IHVuc3Vic2NyaWJlIHNlbmQgYW4gZW1haWwgdG8gaGFza2VsbC1sZWF2ZUBoYXNrZWxsLm9yZwo=