I'm watching Gleam[1] for my 'I want to learn Erlang but dont want to deal with having to do runtime type checks so I wish there was a Statically-Typed Erlang' dreams.
Thanks for sharing. To save people a click the author of the tweet is opposed to adding a type system to Elixir not the BEAM, he seems to be seeing project like Gleam in a positive light.
Comments
I'm watching Gleam[1] for my 'I want to learn Erlang but dont want to deal with having to do runtime type checks so I wish there was a Statically-Typed Erlang' dreams.
[1] https://gleam.run/news/gleam-v0.12-and-gleam-otp-v0.1-releas...
Check out Caramel [1] as well -
[1] https://github.com/AbstractMachinesLab/caramel
and Hamler too ...
https://www.hamler-lang.org
https://github.com/hamler-lang
https://news.ycombinator.com/item?id=23491516
I think that devon estes has a point that it is likely that trying to graft a foreign typesytem onto the BEAM is not a good idea.
I'm glad someone is trying, though.
I think the tweet was deleted but it's cached here, for others like me who had not seen Devon's take:
https://webcache.googleusercontent.com/search?q=cache:JkQRku...
Thanks for sharing. To save people a click the author of the tweet is opposed to adding a type system to Elixir not the BEAM, he seems to be seeing project like Gleam in a positive light.
Maybe also add Idris?
https://github.com/chrrasmussen/Idris2-Erlang