Tim Whiting
Can you share more details? Where is the output? Have you tried running koka on the command line. Have you ensured that it is in your path?
Thanks for mentioning that. Nim's is one that I've also thought was nicely designed.
This has to do with how the dartpad works from the html / javascript standpoint. For now you can change the key as well as the code. If you want...
I believe this is partially due to the fact that function calls and constructors calls occupy the same space in the grammar. There is no way to tell syntactically whether...
Looks like there is an error in type inference / checking. Change this: ```koka fun driver(): () with handler final ctl throw-exn(err) () val res = (!q).popFront() q := snd(res)...
It doesn't look like VSCode supports non-declarative rules for the comment API. Maybe the extension could contribute a second language like `rhombus` and configure it's declarative features differently? Is that...
Shplait recommends using the .rhm extension as well. So it should work fine.
I believe Roc also uses some kind of Row polymorphism, but my understanding is that there is still a sort of subtyping between rows? I do like how purescript uses...
There's a good paper about unifying different row theories. The main difference I would want from a structural type instead of effects would be no duplicate labels. Abstracting Extensible Data...
I think it is worth noting that when we lift closures to first class functions to compile to C we could desugar closures environments to structural types and benefit again...