effekt

effekt copied to clipboard

It would be great if _all_ toplevel definitions could carry some flags (such as `private`). This way, it would be easier to prevent (accidental) misuse of unsafe extern definitions. It...

b-studios

Draft: Design of Mutable State (WIP)

1

At the moment, mutable state in Effekt is modelled with instances of the `Region` interface: - global mutable state is a global, toplevel capability of type `Region` that we can...

b-studios

WIP: Make more types extern instead of builtin

7

This PR is a draft to move types from being builtins (in `symbols.builtins`) to `extern type` declarations in the prelude. To do so, it annotates the operations using those types...

marzipankaiser

b-studios

LLVM backend reports "undefined value"

5

``` type EMPTY {} def main() = { def loop(): EMPTY = { println("!"); loop() } def foo(): EMPTY = loop(); val x: Int = foo() match {} x +...

b-studios

Added case study on probabilistic programming and inference

6

Added the case study `Inference` that contains the contents of my bachelor's thesis `Probabilistic Programming and Programmable Inference in Effekt`. The content includes Slice Sampling and Metropolis-Hastings algorithms, as well...

sinaschaefer

Refactor Stdlib

1

This PR uses #427 to refactor the stdlib and share more parts of it. Issues / annoyances (re)discovered on the way: - we really need to allow importing "from-the-back" (I...

b-studios

This PR aims to speed up the parsing phase of the compiler, as discussed in #412. Since we would want to have a separate lexer regardless of the possibility of...

dvdvgt

Using a block in an extern definition like this: ``` interface Bar { def bar(): Int } extern def foo(){ b: Bar } = js "${b.bar()}" default { b.bar() }...

marzipankaiser

Fix running Effekt on Windows

5

Fix #401 by, if running on Windows, generating a `.bat` file instead of the shebang'ed script. Note: Only tested with JavaScript-backend. This also changes the CI to: - In principle...

marzipankaiser