6 ms·
This discussion is seriously lacking in references to Koka language[0]. Koka is memory safe without using traditional GC, has effects, and is pretty cool over
by divs1210 2y ago
This discussion is seriously lacking in references to Koka language[0].
Koka is memory safe without using traditional GC, has effects, and is pretty cool over all.
[0] https://koka-lang.github.io/koka/doc/index.html https://koka-lang.github.io/koka/doc/index.html
- SkiFire13 2y agoReference counting is ultimately a GC, although not a tracing GC which is the most common kind. I also don't really see the appeal of not having a GC in a language like that. If it doesn't compete with C/C++ for performance and low level support then not having a GC is no longer an advantage. That said Koka still remains very cool for the effect system though, and I would really like to see it in a mainstream language!