Tim Whiting
I came from the Dart community myself 😄. Glad to see that other people have found Koka.
> It seems like a great language I'd like to explore ! Although it might still be in a early stage in regards of libraries etc. Yes it is. Libraries...
One difficult thing about Koka and creating the standard libraries is that Koka includes a bunch of non-standard features that directly affect api design. We are still learning what idiomatic...
Let me know if you see any more discrepancies
I should have checked. For whatever reason I thought Koka had shortened module to mod with all of the other keywords that got shortened. My bad.
This is not ready to merge, I'll add some tests since it does end up moving things around quite a bit.
TLDR: Shaves off 3-5% runtime on some heavily nested matches which impact ref counting (e.g. some variants of rbtree), otherwise doesn't impact the runtime. # Old fip benchmarks: # benchmark...
@anfelor > Hi Tim! This looks pretty cool, I didn't realize we could make the binary search tree benchmarks even faster with a proper pattern match compiler. Yes, I originally...
The current dev, soon to be released, will have support for the magic variables `kk-file` (module name and line),`kk-line`, and `kk-module`, as well as a different solution to typeclasses by...
Glad to see you figured this out. If you don't mind, I'll reopen it so we can remember to add this to the README. I think I had these components...