SaaSHub helps you find the best software and product alternatives Learn more →
Koka Alternatives
Similar projects and alternatives to koka
-
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
-
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
-
Nim
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
-
-
-
-
-
-
-
-
pen
The parallel, concurrent, and functional programming language for scalable software development (by pen-lang)
-
-
Deal
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better koka alternative or higher similarity.
koka discussion
koka reviews and mentions
Posts with mentions or reviews of koka.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2025-02-16.
-
Why I'm leaving Elm (2020)
Koka is still pretty much one person's project [0], and it's not for lack of PRs [1]. To push Koka forward at the kind of pace that Richard wants to move would require forking it or commandeering it, and it makes total sense that neither option is as appealing as just starting fresh.
[0] https://github.com/koka-lang/koka/graphs/contributors
[1] https://github.com/koka-lang/koka/graphs/contributors
- Float Self-Tagging
- Koka v3 Released
-
Koka: A fast functional programming language with algebraic effects
This post by the Koka-author is an update about what's currently being worked on: https://github.com/koka-lang/koka/discussions/339
-
Not Use Path Based Imports
Some programming language like JS, use path-based imports, that's not good for making a stabel API.
See https://api-extractor.com/pages/setup/configure_rollup/#:~:text=(The%20API%20Extractor,with%20that%20effort.)
And https://github.com/koka-lang/koka/issues/31#issuecomment-1482200826
-
What features would you want in a new programming language?
It also offers a great Inversion of Control mechanism where everything is customisable, and, unlike Capability Objects, AESs also offer compatibility with type inference (you can pass functions doing IO to map, and it Just Works(TM)) and first-class control over stack frames (because really a continuation function is just some stack frames, which you can manually move to the heap if you want a closure; which means async is an effect!). It also is composable in ways Monads are not.
-
What are you doing about async programming models? Best? Worst? Strengths? Weaknesses?
Koka and other languages implementing Algebraic Effect Systems make everything a user-defined case of coroutines: async is just another effect/Monadic type. Zig does something similar by having first class stack frames, making all function calls possibly asynchronous.
-
Letlang, a programming language targetting Rust - Road to v0.1
Super interesting, there is a proposal to add this to JavaScript and several languages that use this, unison, koka & eff. I had no idea this was even a thing!
-
Let's collect relatively new research programming languages in this thread
Koka, already cited in this thread, early 2010s. Koka's first claim to fame was a usable effect system (at the type were, basically, effect systems were not usable in practice; in fact few languages have managed to do as well as Koka since). Now its author is working on cool implementation strategies for functional languages as well.
-
[Offer] Tutoring for Computer Science / Programming / Software Engineering topics
I'm a software engineer with 3 years of professional experience. I worked for 2 years at Microsoft on Azure Compute and now work at Google, working on improving Google search. I am the sole maintainer of the popular open-source library microlens with 80k downloads. I've also contributed to the Koka programming language developed at Microsoft Research.
-
A note from our sponsor - SaaSHub
www.saashub.com | 23 May 2025
Stats
Basic koka repo stats
33
3,497
9.5
10 days ago
koka-lang/koka is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.
The primary programming language of koka is Haskell.
Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com