Supposedly someone is making a Typescript-like precompiler for Elixir (with ML syntax of course). We are all hoping it succeeds!
It's not compiling to elixir, but the `alpaca` language compiles to the BEAM (via erlang core I think) so it gets you close, although they are not black boxing messages sadly.
If you know of someone else doing typing experiments on top of elixir, please link me (my playground code is on my github repo somewhere)!!!
The idea seems just like Typescript, a very interesting project!
It is based on Elm so it has a severely limited type system but it is the most complete on Elixir so far. :-)
They are super useful and given a complicated enough problem/ sophisticated enough programmer they will look like a good enough solution for all problems. But ... Wordpress
I don’t mean no one will or should use static languages but believing they will once again dominate like in the 80s and 90s is an illusion imo
But, static typing and being able to compile and deploy a binary is a pretty sweet developer experience. And the syntax is nearly identical to Ruby with a few nice additions. Many companies like ThoughtBot (a huge Ruby adopter) are jumping into Crystal. The future is definitely in compiled/static languages IMO.