Tim Whiting
It looks like `map` gets specialized to the function parameter in a way that tail recursion for map is no longer applied. It seems to be happening in the C...
The issue here is that mixing local scopes confuses type inference. Definitely a bug. But also `local-var`s are not intended to be passed around a lot in general. The name...
Related #510
I think this is an issue with the definition sites. I was under the impression that we do not allow optional arguments before required ones. But I guess that is...
This is the way I would provide them. ```koka val h = high("q", arg2="p") "sdf" ``` The problem with ```koka high("q", "p") "sdf" ``` Is that it looks like 3...
I neglected to mention another issue. Top level functions don't need type annotated parameters. It is not always clear what parameter is a trailing lambda function until you are in...
I think we agree that top level functions should be type annotated, but it is very nice to be able to remove type annotations and let the compiler tell you...
I think this would be best if the externs and type wrappers were generated from typescript type declarations and web apis. Personally, I don't think this should be the compiler's...
Considering some of the samples demonstrate this (not the escaping but the absence of effect types), I don't this is necessarily contrary to the core concepts of Koka (but I...
> I feel like this is a reasonable approach, but I'm not overlooking the issue very well as of yet. Let me know if there is something that doesn't make...