What does HackerNews think of koka?

I have a toy language I play around with that's just in specifications stage. Not mine but an interesting compile-to-c language: https://github.com/koka-lang/koka. Functional, effects, no-GC.

So many new programming languages coming up with clever features that makes me wish I could mix and match their core features while using libraries from more popular languages.

Up and coming Languages I am excited about -

1. Roc - https://www.youtube.com/watch?v=vzfy4EKwG_Y

2. Zig - https://ziglang.org/

3. Scopes - https://sr.ht/~duangle/scopes/

4. Gleam - https://gleam.run/

5. Odin - https://github.com/odin-lang/Odin

6. Koka - https://github.com/koka-lang/koka

7. Unison - https://github.com/unisonweb/unison

How does this compare to other effect-oriented languages like Koka, Frank, and Eff?

I've been doing some work with Koka lately, but I briefly looked into the other three (including Effekt) and it mostly came down to, 'Koka seems most active in development'[1] and 'Koka had the easiest to use documentation for me'[2], which are both kind of subjective ways of choosing between them rather than an objective comparison.

[1] E.g. https://github.com/effekt-lang/effekt had its last commit back in June; https://github.com/frank-lang/frank last commit last year; but https://github.com/koka-lang/koka last update was Oct 15. Effekt seems semi-active, at least, compared to Frank. While stability is good, I wouldn't expect it in a language actively being used for research.

[2] Comparing https://koka-lang.github.io/koka/doc/book.html and https://effekt-lang.org/docs/ and https://www.eff-lang.org/learn/