Tim Whiting
This causes at least one issue with finalizers being run twice: https://github.com/koka-lang/koka/discussions/641 I've noticed in general that resumptions do not have adequate escape analysis, though what is "adequate" and what...
Hi @daanx, Wanted to have some fun this weekend, and try out the new lazy constructors. Ended up making this lazy string builder, partly inspired by your pretty print module....
This is more of a question: not a bug!! Consider the following code: ```koka effect final ctl throw_(e: string): a fun main() with handler fun throw_(e: string) println("Error in outer")...
Using structs for implicits can help with collections / monads etc: See for example the `.?struct` examples: https://github.com/koka-lang/koka/blob/dev/test/overload/monad3.kk. However in some cases you'd really like the assurance that there is...
### Discussed in https://github.com/koka-lang/koka/discussions/599 Originally posted by **chtenb** October 24, 2024 ```koka pub effect yield ctl yield(elem : a) : () pub fun fin/take(it : () -> (), n :...
It's been several months, and the latest merged PR has not been released. Can we get a release, so it is easier to depend on this library?
I'd like to do the following for type-encoded structs. ```koka alias field = f struct cfield field : field rest : r type fielda type fieldb alias fld = some...
Somewhat smaller example. I can try to reduce further later. Primary issue is the some variable unifying with the polymorphic return of the effect. ```koka value struct task run :...