Tim Whiting
Tim Whiting
One issue that we have is that the extern syntax while being very nice and flexible is still limiting. For example you might want to change the implementation based on...
Currently Koka instantiates at lets, this causes issues with using a function at multiple different effects. Making that small change would solve the following issues. #401 #402 Daan has been...
This has come up a few times. In particular with implicits. For example: #335, though I'm not sold on this particular proposal entirely. Sometimes we'd like to state conditionally that...
An autoformatter would be good to have, to keep style consistent (at least within projects). Koka touts flexibility in syntax. However, despite the flexibility, it is remarkably consistent, and makes...
It would be nice to be able to hide or show certain parts of modules or require them to be prefixed by module name (without also requiring them to be...
Daan and I at one point talked about extending the overloading to also handle versioning (which means that we would need to allow locally qualified type names as well). In...
This change to substitution does not seems safe and could be the cause of several bugs: https://github.com/koka-lang/koka/blob/533bb36163edcc1c2294512abbddd374e9b48ac4/src/Type/TypeVar.hs#L447