Hacker News
- Koka: Strongly typed functional-style language with effect types and handlers https://koka-lang.github.io/koka/doc/index.html 92 comments
- The Koka Programming Language https://koka-lang.github.io/koka/doc/index.html 2 comments
Linking pages
- When Zig is safer and faster than Rust https://zackoverflow.dev/writing/unsafe-rust-vs-zig/ 464 comments
- Moving Beyond Type Systems | Vhyrro's Digital Garden https://vhyrro.github.io/posts/effect-systems/ 181 comments
- Coroutines and effects https://without.boats/blog/coroutines-and-effects/ 167 comments
- GitHub - Holo314/Coeffect: Add a partial Coeffect system into Java using Loom's ExtentLocals https://github.com/Holo314/Coeffect 23 comments
- GitHub - glyh/awesome-pl-concepts: An menu/quick reference for Programming Language concepts https://github.com/glyh/awesome-pl-concepts 21 comments
- Console #114 -- Interview with Martin about MoonZoon - a Rust Full Stack Framework https://console.substack.com/p/console-114?r=3cbez&s=w 10 comments
- Oxidizing C++ https://thenumb.at/rpp/ 1 comment
- Console #114 -- Interview with Martin about MoonZoon - a Rust Full Stack Framework https://console.substack.com/p/console-114 0 comments
- GitHub - glyh/PL-features: A cheatsheet and meta wiki for Programming Language features https://github.com/glyh/PL-features 0 comments
Related searches:
Search whole site: site:koka-lang.github.io
Search title: The Koka Programming Language
See how to search.