Our great sponsors
-
ponyc
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
The closest I've seen to Erlang with a good type system was Pony, but it never got anywhere and it's now abandoned, it seems.
There is gleam which is a statically typed language that runs on BEAM, but it’s not 1.0 yet. Elixir with type specs and pattern matching is pretty good but not perfect.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.
Related posts
- Ideas for undergraduate CS thesis project in programming languages in concurrency?
- Found a language in development called Vale which claims to be the safest AOT compiled language in the World (Claims to beSafer than Rust)
- Is there a language like Erlang with a stricter type system?
- Why the number of Gleam programmers is growing so fast?
- Gleam v1.0.0