My Future with Elixir: set-theoretic types about learn-elixir HOT 2 OPEN

Talking about types, you have 1 == 1.0, an intersection of Integer and Float. When f = to_string, then f(1) != f(1.0). Ok. Take "1.0" and "1" and g = String.to_float, then g("1") doesn't exist but g("1.0") == 1.0 == 1 .... Messy no?

from learn-elixir.

Still early days but stoked José + Co are investing time in this cause there are still loads of people who don’t use Elixir because they are dogmatic about types. I see the benefit of static typing for compile-time checking. It can be mega useful on larger codebases. Love how Elm does it, hate how annoying it made my recent TypeScript experience. 🤦‍♂️
I’m all for the exploration.
But I think this will most likely just drive me toward using Rust. 💭

from learn-elixir.