Hacker News
- Koka: A fast functional programming language with algebraic effects https://koka-lang.github.io/koka/doc/book.html 2 comments
Lobsters
Linking pages
- Features of a dream programming language - DEV Community 👩💻👨💻 https://dev.to/redbar0n/features-of-a-dream-programming-language-cio 222 comments
- Contexts and capabilities in Rust - Tyler Mandry https://tmandry.gitlab.io/blog/posts/2021-12-21-context-capabilities/ 74 comments
- Totality https://blog.yoshuawuyts.com/totality/ 54 comments
- GitHub - koka-lang/koka: Koka language compiler and interpreter https://github.com/koka-lang/koka 15 comments
- Implementing the Perceus reference counting GC - DEV Community 👩💻👨💻 https://dev.to/raviqqe/implementing-the-perceus-reference-counting-gc-5662 5 comments
- GitHub - idmitrievsky/rescue: type-safe exceptions for Python 👷 https://github.com/idmitrievsky/rescue 3 comments
- 6 interesting languages and their selling points · pema.dev https://pema.dev/2022/07/29/interestinglangs/ 1 comment
- Safe, extensible interrupts/syscalls, a.k.a. Algebraic Effects | by Zheyu Shen | Medium https://medium.com/@arsdragonfly/safe-extensible-interrupts-syscalls-a-k-a-algebraic-effects-dbcbb1242ba1 0 comments
- Features of a dream programming language: 2nd draft https://magnemg.eu/features-of-a-dream-programming-language-2nd-draft 0 comments
- RC W4D4 - Exploring effect systems - Experiments in managing perfectionism https://payments.posthaven.com/rc-w4d4-exploring-effect-systems 0 comments
Related searches:
Search whole site: site:koka-lang.github.io
Search title: The Koka Programming Language
See how to search.