Daan
Daan
Ah, that is a bug -- I will look into it. The `return` statement is strange as it returns from the innermost function and thus should have a polymorphic type...
Yikes -- that is not good; It is from the internal "core linter". Do you get this error with the latest `dev` branch? I just fixed a kinding error there...
Hmm, right. I think reload only reloads the last successful load.. that seems not quite right though and I guess it should be changed to reload the latest module that...
Thanks for the feedback! Currently I am mostly focused on the C backend for best performance but keeping the JavaScript backend up-to-date. Some thoughts: - It should be not to...
Ah, the interesting thing for Koka is that there are no field selectors as such; for a struct like: ```koka struct person { age : int } ``` Koka generates...
Very cool! I will try it out soon :-)
Yes :-) but there is a lot to do. The samples directory contains many examples of matching if that helps
We should have 64-bit integers :-) The only reason for not having operations on them is the hassle of Javascript support. I am thinking of using .. However, the `int`...
:-) The arbitrary precision is important so there are no issues with overflow or determinism across platforms. There is a lot of care taken to generate good code that is...
@SchrodingerZhu : the idea is to only have signed types, `int16`, `int32`, and `int64` .(Not sure yet about `int8` or `uint8`. This will reduce the API surface. Then, as in...