effekt
effekt copied to clipboard
effekt-lang
A research language with effect handlers and lightweight effect polymorphism
This PR is a minimalization of an incremental compilation error that we consistently hit, when modifying our `Typer.scala`. (reported here: https://github.com/scala/scala3/issues/20245) Steps to reproduce: ``` sbt> clean sbt> compile ```...
The following Effekt program: ```scala def run(n: Int) { action: => Unit }: Unit = action() def run(s: String) { action: => Unit }: Unit = action() def add(a: Int,...
This eventually replaces #324. There is still a lot to do, but some mechanisms are already in place.
We could try to use the Google closure compiler after compiling to JS. For full optimizations only a subset of JS can be used, which we would need to ascertain....
When an arm of an pattern match gets too long, I'd like to wrap it in _braces_: ```scala def main(opt: Option[Int]) = { opt match { case None() => println("Nothing")...
Here's the whole error: notice that the real problem is that the actual return type doesn't match the expected return type --- this has nothing to do with recursive /...
#### Description Tuples of size ≥3 currently use a weird syntax like: ``` TupleType ::= `(` Type `,` (`⎵` Type)+ `)` ``` but they probably should use something like: ```...
It takes a long time (~2 minutes) for our developer environment to load in CI. Let's investigate different ways of speeding this up: 1. [GitHub Action caching](https://docs.github.com/en/actions/using-workflows/caching-dependencies-to-speed-up-workflows) 2. Custom Docker/Nix...
The structural equality on the JavaScript backend seems to be broken. Although reflexivity (`x == x`) holds for simple, user-defined types, it doesn't work for `Some(x) == Some(x)`. ```scala type...
Metadata
Owner
Metadata
A research language with effect handlers and lightweight effect polymorphism