caramel
otp
Our great sponsors
caramel | otp | |
---|---|---|
8 | 9 | |
1,036 | 346 | |
0.8% | 25.2% | |
0.0 | 7.3 | |
7 months ago | 21 days ago | |
OCaml | Gleam | |
Apache License 2.0 | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
caramel
-
Gleam
Caramel is a very similar language (ML dialect) that builds for BEAM.
https://caramel.run/
- I hereby officially announce the Elixir type system effort is into development
-
ML Dialects and Haskell: SML, OCaml, F#, Haskell
I’m guessing you’ve referring to what https://caramel.run/ could’ve been?
I think Gleam is pretty good enough to get that typed feel on the BEAM.
-
Is there a language like Erlang with a stricter type system?
Take a look at Gleam and Caramel
-
Why Erlang?
Somewhat related: https://caramel.run/
Ocaml on the Erlang VM!
- Caramel - an OCaml for the Erlang VM
-
Crystal Lang 1.0 Release
Then Caramel just might end your search!
https://caramel.run/
-
Caramel: An OCaml for the Erlang VM
Good points! I've made 3 issues to make sure we get this done.
https://github.com/AbstractMachinesLab/caramel/issues/73
otp
-
Learn OTP with Gleam
Modern type system over BEAM sounds great but unfortunately OTP is still not 100% supported https://github.com/gleam-lang/otp?tab=readme-ov-file#limitat...
-
Gleam
They seem to have rewritten/wrapped OTP, but it's not production ready. https://github.com/gleam-lang/otp
YMMV, but a BEAM language without OTP severely limits its appeal and usability.
-
Things I like about Gleam's Syntax
Looks like it is an external library[^1]. Readme states it is experimental and lists some limitations.
[^1]: https://github.com/gleam-lang/otp
-
v0.18 of Gleam, a type safe language written in Rust for the Erlang VM, is out
We have a fully type safe and OTP compatible implementation of actors and supervisors here https://github.com/gleam-lang/otp
-
v0.17 of Gleam, a type safe language written in Rust for the Erlang VM, is out
No primitives as it's not possible to have them when compiling to JavaScript, but we do have them as types and functions in the OTP library https://github.com/gleam-lang/otp
-
gleam/otp syntax error at "if erlang"
On the advice of u/WrongJudgment6 I'm reading the Gleam OTP tests. But I can't compile, and hence can't test, the code. (I'd like to do that so I can tweak the tests to do my own experiments.) Whenever I try I get an error like this:
-
How to learn to use concurrency and/or OTP in Gleam?
And docs at https://hexdocs.pm/gleam_otp/
-
Gleam 0.15 – Type-safe language for the Erlang VM
We have a fully type safe and Erlang compatible OTP library! It is used in production today.
https://github.com/gleam-lang/otp
It is not a wrapper around gen_server etc, but instead it is a full implementation from the ground up using a very small core. This was done because:
a) Erlang OTP cannot be typed, we need different abstractions are designed with types in mind
b) We want to be confident that our abstractions are powerful enough to build something like OTP, rather than cheating by relying on type casts.
I'm very happy with how Gleam OTP is going, but it is not the focus now that an initial version is out. Tooling and documentation is more important at the moment.
What are some alternatives?
gleam - ⭐️ A friendly language for building type-safe, scalable systems!
awesome-crystal - :gem: A collection of awesome Crystal libraries, tools, frameworks and software
alpaca - Functional programming inspired by ML for the Erlang VM
php-spx - A simple & straight-to-the-point PHP profiling extension with its built-in web UI
hamler - Haskell-style functional programming language running on Erlang VM.
otp - Erlang/OTP
plug - 🔌 A Gleam HTTP service adapter for the Plug web application interface
entendrepreneur - program for generating funny portmanteaus and rhymes
messages-rs - Runtime-agnostic actor library
athena - An ecosystem of reusable, independent components
Rustler - Safe Rust bridge for creating Erlang NIF functions