effekt
effekt copied to clipboard
effekt-lang
A research language with effect handlers and lightweight effect polymorphism
It looks like we forgot to implement capability passing for the new object feature: ``` effect Exc(): Unit interface MyClass { def get(): Int / { Exc } } def...
The file name just gets inserted into js as a identifier names, so `./examples/llvm/hello-world.effekt` generates the following js code: ```javascript const $effekt = require("./effekt.js"); const $hello-world = { }; function...
```effekt effect Exc(): Unit def main() = try { e.Exc() } with e: Exc { () } ```  Expected behavior: No warning.
In the following example the generated error message refers to an implicitly inferred capability. It is never bound and impossible to understand: ``` effect Yield(): Unit def foo() = {...
``` effect Exc(): Unit def main() = try { e1.Exc() } with e1: Exc { () } with e2: Exc { () } ``` triggers:  However, it should be...
Right now, the only two people how know how to update the Effekt compiler on our website are @jiribenes and I. It is a manual process of: 1. building the...
Currently, the binary for the JIT is a blob in the git repository at https://github.com/effekt-lang/effekt/blob/jit/bin/x86_64/rpyeffect-jit. We should find a better solution for this, that makes updates easier and puts a...
We should rearrange tests to make it easier for newcomers to the project to only run the tests they are interested in. ## Context After having merged the WIP LLVM...
When hovering on records, the language server usually provides useful details. Unfortunately, because list literals are immediately desugared into applications of `Cons` and `Nil`, the language server shows details about...
Currently, the `commonjs` export produces the following export at the end: ```js module.exports = { main: () => main_1394().run() }; ``` Unfortunately, browsers use a completely different module system so...
Metadata
Owner
Metadata
A research language with effect handlers and lightweight effect polymorphism