Tim Whiting

Yeah, I would be worried if there were very many opt-out effects.

Definitely a bug, but a workaround for now is: ```koka fun test(action) var i := 0 val res = mask{action()} res ```

It would be interesting to have functional inheritance as a feature of datatypes. i.e. ``` type maybe .... type while inheriting (while/maybe) Continue Break( result : a ) fun while/maybe(a:...

Sounds like supporting the setting so that the generators format the same as the IDE would fix the incremental build issue here. Also sounds like the includes / excludes option...

You should be able to run koka with the arguments `--language-server --lsstdio` to run the language server communicating over stdin/stdout protocol, which is typically supported by language server clients.

Currently no, I'd gladly take a look at a pull request, but don't have the time to commit to it right now. The two ways of doing it as I...

I found out that @daanx has already implemented renaming the generated `main` function via `--mainentry={your_name_here}` when looking at this PR #714. Wondering if this issue should be closed.

Great idea, I actually could maybe use this in a class I'll be teaching. I'll look into GHC's wasm backend for the compiler, but I don't think we'll be able...

It looks like both the JS and WASM GHC backends require custom ghc builds, and are not well integrated into the stack build system, which makes it difficult for me...

To me it doesn't make sense to use the effect annotation to restrict or state effects (since a different handler for the same effect could be implemented using an in-memory...