erlt
otp
erlt | otp | |
---|---|---|
5 | 9 | |
102 | 352 | |
- | 11.4% | |
-4.3 | 7.3 | |
almost 3 years ago | 30 days ago | |
Erlang | 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.
erlt
-
Things I like about Gleam's Syntax
I remember reading somewhere,WA had to go back to do some improvements, so there was going to be a delay. Was it this one https://github.com/WhatsApp/erlt ?
-
Scheme vs CL? Differences? Pros and Cons?
However, as counter-points: Erlang has the Dialyzer, and Clojure has Spec. Both are tools to push one closure to a more statically typed coding regime. WhatsApp also created ErlIt, a statically typed dialect of Erlang. So evidently there is some desire for types, even in Erlang, by big industrial users.
- Type-Based Optimizations in the JIT
-
Is ErlT from WhatApp dead?
I see the old Gitub project has been set to read only: https://github.com/WhatsApp/erlt
- ErlT – Erlang dialect with static typing
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?
om-sharp - OM#: Visual Programming | Computer-assisted Music Compositon
gleam - ⭐️ A friendly language for building type-safe, scalable systems!
Programming-Language-Benchmarks - Yet another implementation of computer language benchmarks game
alpaca - Functional programming inspired by ML for the Erlang VM
named-closure - Introspectable, readably-printable and redefinable closures
hamler - Haskell-style functional programming language running on Erlang VM.
openmusic - The OpenMusic visual programming / computer-aided composition environment
plug - 🔌 A Gleam HTTP service adapter for the Plug web application interface
jerlang - Erlang/OTP on the Java Virtual Machine (JVM)
messages-rs - Runtime-agnostic actor library
Phoenix - Peace of mind from prototype to production
Rustler - Safe Rust bridge for creating Erlang NIF functions