Jonathan Immanuel Brachthäuser
Jonathan Immanuel Brachthäuser
I just tried adding an argument to `break`, but it is really annoying in the cases, where `Control[Unit]` and we would like to call `label.break()`; here we need to write...
Yes, this is somewhat related to #68 . For the ml backend, this is difficult to support, though.
For context: at some point we generated several different module formats (which is the reason why this is still called `commonjs` https://github.com/effekt-lang/effekt/blob/6f8973ae77e4962b67b3cb626142fab7430a6cd8/effekt/shared/src/main/scala/effekt/generator/js/Tree.scala#L33 It shouldn't be too hard to first hotfix...
Let's please implement Alternative 2 with `.mjs` file extensions.
Q: Are there any interesting examples we could implement with this?
A first step towards this issue would be to add block parameters to operation declarations and only support them on objects (fail on handlers). Then, in a second step, we...
For people interested in working on this issue, there is a branch containing first steps at https://github.com/effekt-lang/effekt/tree/higher-order-effects
Should hopefully be fixed by #361
I am sorry, but with the MLton backend you are working on the bleeding edge. This is indeed a known issue that we still need to address. ML does not...
BTW, if you are benchmarking this; I would be interested to learn about your findings :)