effekt

effekt copied to clipboard

There is some (to me) strange interaction between effect handlers and mutable variables which leads to a slowdown in runtime performance. The following example works just fine and finishes pretty...

mm0821

anfark

Right now the traces generated by region errors are displayed as individual error / info / warning messages. Currently the Problems panel lists the trace like:  Also "Go to...

b-studios

Module System

2

We want a module system for Effekt. At first we should focus on a simple and clear basis on which we then build interesting extensions. # Properties Some features we...

phischu

Add sprinkler-rain-grass model to probabilistic

5

mm0821

Future Work: Special support for effects and handlers in the IDE

1

Some unstructured notes about things we might want to support at some point: Possible IDE features: - infer effects from effect holes - update effects (fix effects refactoring) - display...

b-studios

Filepath and module path can differ

2

The file path (eg. `/my/inlude/path/to/file.effekt`) and the module path (e.g. `module path/file`) can differ. Now assume we include an import statement in another file: ``` import path/to/file ``` Typechecking and...

b-studios

Case insensitivity of the import statement

1

The import statement allowed import of files without checking for cases in file names. This branch should fix the issue (by aborting translation when the name of the import file...

timmy-newtron

'import' feature of the REPL does not work properly when no module is defined (MS Windows)

3

Importing a file helloWorld.effekt ``` def hello() = { println("Hello World!") } ``` to the REPL using ``` import helloWorld ``` causes the REPL to load the file, however, as...

timmy-newtron

Currently, block arguments always have to be fully applied: ``` map([1, 2, 3]) { a => f(a) } ``` Instead, we could also support ``` map([1, 2, 3]) { f...

b-studios