3 ms·

Effekt: Lightweight Effect Polymorphism for Handlers (2020) [pdf]

• winwang 3y ago
  (briefly skimmed it) Surprised no explicit mention of Scala despite the very similar aesthetic and "implicits" (and seemingly implementable in Scala).
  • di4na 3y ago
    It is implemented in Scala. There is no mention of Scala because Scala does not really handle effect handling at that level.
• Findecanor 3y ago
  Previously discussed in 2021: https://news.ycombinator.com/item?id=29275887 https://news.ycombinator.com/item?id=29275887
• di4na 3y ago
  Worth nothing that they managed to extend the effect handling system to safely handle first-order functions (by boxing them in thunk with explicit capability closing) https://github.com/se-tuebingen/oopsla-2022-artifact/blob/main/oopsla22-paper53.pdf https://github.com/se-tuebingen/oopsla-2022-artifact/blob/ma... I have been taking a lot of inspiration from Effekt for a toy language i am slowly building.