[CFP, Deadline Extension] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effect
Taro Sekiyama <[email protected]> Sat, 30 May 2026 02:16:50 +0900
| Newsgroups | gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <CA+8nPw+y2rsQZUDJihTXR77YboOu7pYQBO2GZnK6tUyaDiCedw@mail.gmail.com> |
VGFsayBwcm9wb3NhbCBkZWFkbGluZSBmb3IgSE9QRSAyMDI2IGlzIGV4dGVuZGVkIHRvIEp1biAx MiwgMjAyNi4NCkF1dGhvciBub3RpZmljYXRpb24gd2lsbCBiZSBvbiBKdWx5IDMsIDIwMjYuDQoN ClRoaXMgeWVhciwgdGhlIHdvcmtzaG9wIHdpbGwgYmUgY28tbG9jYXRlZCB3aXRoIElDRlAnMjYg KEluZGlhbmEsIFVTKQ0KYW5kIEZXJzI2IChQYXJpcywgRnJhbmNlKS4NCi0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0N Cg0KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgSE9QRSAyMDI2DQoNCiAgICAgICAgICAg ICBUaGUgMTR0aCBBQ00gU0lHUExBTiBXb3Jrc2hvcCBvbg0KICAgICAgICAgICAgIEhpZ2hlci1P cmRlciBQcm9ncmFtbWluZyB3aXRoIEVmZmVjdHMNCg0KICAgICAgICAgICAgICAgICAgICAgICAg ICAgQXVndXN0IDI0LCAyMDI2DQogICAgICAgICAgICAgICAgICAgKHRoZSBkYXkgYmVmb3JlIElD RlAgMjAyNikNCg0KICAgICAgICAgICBodHRwczovL2ljZnAyNi5zaWdwbGFuLm9yZy9ob21lL2hv cGUtMjAyNg0KDQoNCkhPUEUgMjAyNiBhaW1zIHRvIGJyaW5nIHRvZ2V0aGVyIHJlc2VhcmNoZXJz IGludGVyZXN0ZWQgaW4gdGhlIGRlc2lnbiwNCnNlbWFudGljcywgaW1wbGVtZW50YXRpb24sIGFu ZCB2ZXJpZmljYXRpb24gb2YgaGlnaGVyLW9yZGVyIGVmZmVjdGZ1bA0KcHJvZ3JhbXMuIEl0IHdp bGwgYmUqaW5mb3JtYWwqLCBjb25zaXN0aW5nIG9mIGludml0ZWQgdGFsa3MsIGNvbnRyaWJ1dGVk IHRhbGtzDQpvbiB3b3JrIGluIHByb2dyZXNzLCBhbmQgb3Blbi1lbmRlZCBkaXNjdXNzaW9uIHNl c3Npb25zLg0KDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQpDYWxsIGZvciBUYWxrIFByb3Bvc2Fs cw0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NCg0KV2Ugc29saWNpdCBwcm9wb3NhbHMgZm9yIGNv bnRyaWJ1dGVkIHRhbGtzLiBXZSByZWNvbW1lbmQgcHJlcGFyaW5nIHByb3Bvc2FscyBvZg0KYXQg bW9zdCAyIHBhZ2VzIGV4Y2x1ZGluZyByZWZlcmVuY2VzLCBpbiBlaXRoZXIgcGxhaW4gdGV4dCBv ciBQREYNCmZvcm1hdC4gSG93ZXZlciwgd2Ugd2lsbCBhY2NlcHQgbG9uZ2VyIHByb3Bvc2FscyBv ciBzdWJtaXNzaW9ucyB0byBvdGhlcg0KY29uZmVyZW5jZXMsIHVuZGVyIHRoZSB1bmRlcnN0YW5k aW5nIHRoYXQgUEMgbWVtYmVycyBhcmUgb25seSBleHBlY3RlZCB0byByZWFkDQp0aGUgZmlyc3Qg dHdvIHBhZ2VzIG9mIHN1Y2ggbG9uZ2VyIHN1Ym1pc3Npb25zLiBXaGVuIHN1Ym1pdHRpbmcgdGFs ayBwcm9wb3NhbHMsDQphdXRob3JzIHNob3VsZCBzcGVjaWZ5IGhvdyBsb25nIGEgdGFsayB0aGUg c3BlYWtlciB3aXNoZXMgdG8gZ2l2ZS4gQnkgZGVmYXVsdCwNCmNvbnRyaWJ1dGVkIHRhbGtzIHdp bGwgYmUgMzAgbWludXRlcyBsb25nLCBidXQgcHJvcG9zYWxzIGZvciBzaG9ydGVyIG9yIGxvbmdl cg0KdGFsa3Mgd2lsbCBhbHNvIGJlIGNvbnNpZGVyZWQuIFNwZWFrZXJzIG1heSBhbHNvIHN1Ym1p dCBzdXBwbGVtZW50YXJ5IG1hdGVyaWFsDQooZS5nLiBhIGZ1bGwgcGFwZXIsIHRhbGsgc2xpZGVz KSBpZiB0aGV5IGRlc2lyZSwgd2hpY2ggUEMgbWVtYmVycyBhcmUgZnJlZSAoYnV0DQpub3QgZXhw ZWN0ZWQpIHRvIHJlYWQuDQoNCldlIGFyZSBpbnRlcmVzdGVkIGluIHRhbGtzIG9uIGFsbCB0b3Bp Y3MgcmVsYXRlZCB0byB0aGUgaW50ZXJhY3Rpb24gb2YNCmhpZ2hlci1vcmRlciBwcm9ncmFtbWlu ZyBhbmQgY29tcHV0YXRpb25hbCBlZmZlY3RzLiBUYWxrcyBhYm91dCB3b3JrDQppbiBwcm9ncmVz cyBhcmUgcGFydGljdWxhcmx5IGVuY291cmFnZWQuIElmIHlvdSBoYXZlIGFueSBxdWVzdGlvbnMN CmFib3V0IHRoZSByZWxldmFuY2Ugb2YgYSBwYXJ0aWN1bGFyIHRvcGljLCBwbGVhc2UgY29udGFj dCB0aGUgUEMNCmNoYWlycywgVGFybyBTZWtpeWFtYSAodHNla2l5YW1hQGFjbS5vcmcpIGFuZCBG cmFuY2VzY28gR2F2YXp6bw0KKGZyYW5jZXNjby5nYXZhenpvQHVuaXBkLml0KS4NCg0KSW1wb3J0 YW50IE5vdGU6IEhPUEXigJkyNiB3aWxsIGJlIGNvLWxvY2F0ZWQgd2l0aCBJQ0ZQ4oCZMjYNCiho dHRwczovL2ljZnAyNi5zaWdwbGFuLm9yZy8pIGFuZCBGV+KAmTI2DQooaHR0cHM6Ly93d3cuaXJp Zi5mci9+c2NoZXJlci9ldmVudHMvZnB3LTIwMjYvYW5ub3VuY2UuaHRtbCkuDQpQcmVzZW50ZXJz IGNhbiBjaG9vc2UgZWl0aGVyIGV2ZW50IHRvIGF0dGVuZCBpbi1wZXJzb24uIFdlIGFsc28NCmVu Y291cmFnZSByZW1vdGUgcGFydGljaXBhdGlvbiBhbmQgd2lsbCBzdXBwb3J0IHJlbW90ZSBwcmVz ZW50YXRpb25zLg0KDQpEZWFkbGluZSBmb3IgdGFsayBwcm9wb3NhbHMgKGV4dGVuZGVkKTogSnVu IDEyLCAyMDI2IChGcmlkYXkpDQoNCk5vdGlmaWNhdGlvbiBvZiBhY2NlcHRhbmNlIChleHRlbmRl ZCk6ICBKdWwgMywgMjAyNiAoRnJpZGF5KQ0KDQpXb3Jrc2hvcDogIEF1Z3VzdCAyNCwgMjAyNiwg SW5kaWFuYSwgVW5pdGVkIFN0YXRlcyAmIFBhcmlzLCBGcmFuY2UNCg0KVGhlIHN1Ym1pc3Npb24g d2Vic2l0ZSBpcyBub3cgb3BlbjoNCg0KICAgICAgICAgICBodHRwczovL2hvcGUyNi5ob3RjcnAu Y29tDQoNCi0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KV29ya3Nob3AgT3JnYW5pemF0aW9uDQotLS0t LS0tLS0tLS0tLS0tLS0tLS0NCg0KUHJvZ3JhbSBDb21taXR0ZWU6DQoNCll1eWFuIEJhbyAoQXVn dXN0YSBVbml2ZXJzaXR5KQ0KUmFwaGHDq2xsZSBDcnViaWxsw6kgKEFpeC1NYXJzZWlsbGUgVW5p dmVyc2l0eSkNCkZyYW5jZXNjbyBEYWduaW5vIChVbml2ZXJzaXR5IG9mIEdlbm92YSkNCkVsZW5h IGRpIExhdm9yZSAoVW5pdmVyc2l0eSBvZiBPeGZvcmQpDQpGcmFuY2VzY28gR2F2YXp6byAoVW5p dmVyc2l0eSBvZiBQYWR1YSkNCkNyaXN0aW5hIE1hdGFjaGUgKFVuaXZlcnNpdHkgb2YgRWRpbmJ1 cmdoKQ0KS2VuIFNha2F5b3JpIChUaGUgVW5pdmVyc2l0eSBvZiBUb2t5bykNClRhcm8gU2VraXlh bWEgKE5hdGlvbmFsIEluc3RpdHV0ZSBvZiBJbmZvcm1hdGljcykNCkRhcmlvIFN0ZWluIChSYWRi b3VkIFVuaXZlcnNpdHkpDQpOaWVscyBWb29ybmV2ZWxkIChDeWJlcm5ldGljYSkNClpoaXh1YW4g WWFuZyAoVW5pdmVyc2l0eSBvZiBFeGV0ZXIpDQoNCi0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KR29h bHMgb2YgdGhlIFdvcmtzaG9wDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0NCg0KQSByZWN1cnJpbmcg dGhlbWUgaW4gbWFueSBwYXBlcnMgYXQgSUNGUCwgYW5kIGluIHRoZSByZXNlYXJjaCBvZiBtYW55 IElDRlANCmF0dGVuZGVlcywgaXMgdGhlIGludGVyYWN0aW9uIG9mIGhpZ2hlci1vcmRlciBwcm9n cmFtbWluZyB3aXRoIHZhcmlvdXMga2luZHMgb2YNCmVmZmVjdHM6IHN0b3JhZ2UgZWZmZWN0cywg SS9PLCBjb250cm9sIGVmZmVjdHMsIGNvbmN1cnJlbmN5LCBldGMuIFdoaWxlIGVmZmVjdHMNCmFy ZSBvZiBjcml0aWNhbCBpbXBvcnRhbmNlIGluIG1hbnkgYXBwbGljYXRpb25zLCB0aGV5IGFsc28g bWFrZSBjb2RlIGhhcmRlciB0bw0KYnVpbGQsIG1haW50YWluLCBhbmQgcmVhc29uIGFib3V0LiBI aWdoZXItb3JkZXIgbGFuZ3VhZ2VzIChib3RoIGZ1bmN0aW9uYWwgYW5kDQpvYmplY3Qtb3JpZW50 ZWQpIHByb3ZpZGUgYSB2YXJpZXR5IG9mIGFic3RyYWN0aW9uIG1lY2hhbmlzbXMgdG8gaGVscCDi gJx0YW1l4oCdIG9yDQrigJxlbmNhcHN1bGF0ZeKAnSBlZmZlY3RzIChlLmcuIG1vbmFkcyBhbmQg aGFuZGxlcnMsIEFEVHMsIG93bmVyc2hpcCB0eXBlcywNCnR5cGVzdGF0ZSwgZmlyc3QtY2xhc3Mg ZXZlbnRzLCB0cmFuc2FjdGlvbnMsIEhvYXJlIFR5cGUgVGhlb3J5LCBzZXNzaW9uIHR5cGVzLA0K c3Vic3RydWN0dXJhbCBhbmQgcmVnaW9uLWJhc2VkIHR5cGUgc3lzdGVtcyksIGFuZCBhIG51bWJl ciBvZiBkaWZmZXJlbnQgc2VtYW50aWMNCm1vZGVscyBhbmQgdmVyaWZpY2F0aW9uIHRlY2hub2xv Z2llcyBoYXZlIGJlZW4gZGV2ZWxvcGVkIGluIG9yZGVyIHRvIGNvZGlmeSBhbmQNCmV4cGxvaXQg dGhlIGJlbmVmaXRzIG9mIHRoaXMgZW5jYXBzdWxhdGlvbiAoZS5nLiBiaXNpbXVsYXRpb25zLCBz dGVwLWluZGV4ZWQNCktyaXBrZSBsb2dpY2FsIHJlbGF0aW9ucywgaGlnaGVyLW9yZGVyIHNlcGFy YXRpb24gbG9naWMsIGdhbWUgc2VtYW50aWNzLCB2YXJpb3VzDQptb2RhbCBsb2dpY3MpLiBCdXQg dGhlcmUgcmVtYWluIG1hbnkgb3BlbiBwcm9ibGVtcywgYW5kIHRoZSBmaWVsZCBpcyBoaWdobHkN CmFjdGl2ZS4NCg0KVGhlIGdvYWwgb2YgdGhlIEhPUEUgd29ya3Nob3AgaXMgdG8gYnJpbmcgcmVz ZWFyY2hlcnMgZnJvbSBhIHZhcmlldHkgb2YNCmRpZmZlcmVudCBiYWNrZ3JvdW5kcyBhbmQgcGVy c3BlY3RpdmVzIHRvZ2V0aGVyIHRvIGV4Y2hhbmdlIG5ldyBhbmQgZXhjaXRpbmcNCmlkZWFzIGNv bmNlcm5pbmcgdGhlIGRlc2lnbiwgc2VtYW50aWNzLCBpbXBsZW1lbnRhdGlvbiwgYW5kIHZlcmlm aWNhdGlvbiBvZg0KaGlnaGVyLW9yZGVyIGVmZmVjdGZ1bCBwcm9ncmFtcy4NCg0KV2Ugd2FudCBI T1BFIHRvIGJlIGFzIGluZm9ybWFsIGFuZCBpbnRlcmFjdGl2ZSBhcyBwb3NzaWJsZS4gVGhlIHBy b2dyYW0gd2lsbA0KdGh1cyBpbnZvbHZlIGEgY29tYmluYXRpb24gb2YgaW52aXRlZCB0YWxrcywg Y29udHJpYnV0ZWQgdGFsa3MgYWJvdXQgd29yayBpbg0KcHJvZ3Jlc3MsIGFuZCBvcGVuLWVuZGVk IGRpc2N1c3Npb24gc2Vzc2lvbnMuIFRoZXJlIHdpbGwgYmUgbm8gcHVibGlzaGVkDQpwcm9jZWVk aW5ncywgYnV0IHBhcnRpY2lwYW50cyB3aWxsIGJlIGludml0ZWQgdG8gc3VibWl0IHdvcmtpbmcg ZG9jdW1lbnRzLCB0YWxrDQpzbGlkZXMsIGV0Yy4sIHRvIGJlIG1hZGUgYXZhaWxhYmxlIG9ubGlu ZS4NCg0KLS0NClRhcm8gU2VraXlhbWENCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fCkhhc2tlbGwgbWFpbGluZyBsaXN0IC0tIGhhc2tlbGxAaGFza2VsbC5v cmcKVG8gdW5zdWJzY3JpYmUgc2VuZCBhbiBlbWFpbCB0byBoYXNrZWxsLWxlYXZlQGhhc2tlbGwu b3JnCg==