Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://f.duriansoftware.com/users/joe/statuses/113368975970351969">Joe Groff (joe@f.duriansoftware.com)'s status on Sunday, 27-Oct-2024 03:26:42 JST</a><a href="https://f.duriansoftware.com/@joe" title="joe@f.duriansoftware.com"><img src="https://gnusocial.jp/avatar/282871-48-20240918210816.webp" width="48" height="48" alt="Joe Groff" style="position: absolute; left: 0; top: 0;">Joe Groff</a></section><article><p>Reading Cong Ma et al's "Lexical Effect Handlers, Directly" paper from OOPSLA, and it's interesting how often this dynamic scope -&gt; lexical scope progression happens in programming language design <a href="https://2024.splashcon.org/details/splash-2024-oopsla/113/Lexical-Effect-Handlers-Directly" rel="nofollow noreferrer">https://2024.splashcon.org/details/splash-2024-oopsla/113/Lexical-Effect-Handlers-Directly</a></p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/3886327#notice-7596576">In conversation</a><time datetime="2024-10-27T03:26:42+09:00" title="Sunday, 27-Oct-2024 03:26:42 JST">about 4 months ago</time> <span>from <span><a href="https://f.duriansoftware.com/@joe/113368975970351969" rel="external" title="Sent from f.duriansoftware.com via ActivityPub">f.duriansoftware.com</a></span></span><a href="https://f.duriansoftware.com/@joe/113368975970351969">permalink</a><h4>Attachments</h4><ol><li><label><a rel="external" href="https://gnusocial.jp/attachment/3358455">Snippet from Ma et al. "Lexical Effect Handlers, Directly": "Conventionally, effect handlers are dynamically scoped: when an effect is raised, the dynam-ically closest enclosing handler is chosen to handle the effect. But recent work has found thatdynamic scoping threatens abstraction safety and makes it hard to reason modularly about effectfulprograms.In response to these challenges, lexical effect handlers have emerged as a promising design whereeffect handlers are lexically scoped."</a></label><br><a href="https://cdn.masto.host/fduriansoftwarecom/media_attachments/files/113/368/975/829/426/260/original/42028cb2d57fc7a5.png" rel="external">https://cdn.masto.host/fduriansoftwarecom/media_attachments/files/113/368/975/829/426/260/original/42028cb2d57fc7a5.png</a></li><li><article><header><div>Domain not in remote thumbnail source whitelist: 2024.splashcon.org</div><h5><a href="https://2024.splashcon.org/details/splash-2024-oopsla/113/Lexical-Effect-Handlers-Directly">Lexical Effect Handlers, Directly (SPLASH 2024 - OOPSLA 2024) - SPLASH 2024</a></h5><div></div></header><div>Distinguished Paper Awards 
This year, we decided to award 7 Distinguished Paper Awards out of 148 accepted papers. These were based on the nominations by the RC members, the final review scores, and the review contents.  Fast and Optimal Extraction for Sparse Equality Graphs by Amir Kafshdar Goharshady, Chun Kit Lam, and Lionel Parreaux 
 Identifying and Correcting Programming Language Behavior Misconceptions by Kuang-Chen Lu and Shriram Krishnamurthi 
 Minotaur: A SIMD-Oriented Synthesizing Superoptimizer by Zhengyang Liu, Stefan Mada, and John Regehr 
 ParDiff: Practical Static Diffe ...</div><footer></footer></article></li></ol></footer></blockquote>

Corresponding Notice

Embed this notice
Joe Groff (joe@f.duriansoftware.com)'s status on Sunday, 27-Oct-2024 03:26:42 JST Joe Groff
Reading Cong Ma et al's "Lexical Effect Handlers, Directly" paper from OOPSLA, and it's interesting how often this dynamic scope -> lexical scope progression happens in programming language design https://2024.splashcon.org/details/splash-2024-oopsla/113/Lexical-Effect-Handlers-Directly
In conversationabout 4 months ago from f.duriansoftware.compermalink
Attachments
1. Snippet from Ma et al. "Lexical Effect Handlers, Directly": "Conventionally, effect handlers are dynamically scoped: when an effect is raised, the dynam- ically closest enclosing handler is chosen to handle the effect. But recent work has found that dynamic scoping threatens abstraction safety and makes it hard to reason modularly about effectful programs. In response to these challenges, lexical effect handlers have emerged as a promising design where effect handlers are lexically scoped."
  https://cdn.masto.host/fduriansoftwarecom/media_attachments/files/113/368/975/829/426/260/original/42028cb2d57fc7a5.png
2. Domain not in remote thumbnail source whitelist: 2024.splashcon.org
  Lexical Effect Handlers, Directly (SPLASH 2024 - OOPSLA 2024) - SPLASH 2024
  Distinguished Paper Awards This year, we decided to award 7 Distinguished Paper Awards out of 148 accepted papers. These were based on the nominations by the RC members, the final review scores, and the review contents. Fast and Optimal Extraction for Sparse Equality Graphs by Amir Kafshdar Goharshady, Chun Kit Lam, and Lionel Parreaux Identifying and Correcting Programming Language Behavior Misconceptions by Kuang-Chen Lu and Shriram Krishnamurthi Minotaur: A SIMD-Oriented Synthesizing Superoptimizer by Zhengyang Liu, Stefan Mada, and John Regehr ParDiff: Practical Static Diffe ...

Public

Embed Notice

HTML Code

Corresponding Notice