Gleam is my favorite new language in 2020. I hope it is taking off.
Not sure if I’m misunderstanding something, but sounds like you’re planning on re-implementing OTP in Gleam? Which would be impressive, but also sounds like users will not be able to make use of the awesomeness of Erlang OTP. Or will you be able to bridge the Gleam abstractions to Erlang’s OTP?
We have reimplemented OTP in Gleam, yes.
I tried to explain in the article that it maintains full compatibility with Erlang’s OTP (in the “primary goals” section) so Gleam users can use Erlang OTP and Erlang users can use Gleam OTP transparently and without problems. Sorry if I didn’t make that clear!
On re-reading, yes it is clear! I was probably just too surprised to fully take it in. Again — impressive!
What is the motivation behind Gleam? Are there different design choices that you wanted to explore compared to Elixir?
I believe the big one is a static type system, but there’s more on the Gleam website: https://gleam.run/
Like Elixir it aims to bring a new style of programming to the Erlang VM.
Elixir polymorphism and metaprogramming inspired by Clojure, and Ruby.
Gleam brings type safety and static analysis inspired by Elm, OCaml, and Rust.