3 ms·

Elixir's type system is still baking(can't define customs types yet), while Gleam's is ready here. Gleam has (familiar to many) battle-tested Hindley-Milner wit

Elixir's type system is still baking(can't define customs types yet), while Gleam's is ready here. Gleam has (familiar to many) battle-tested Hindley-Milner with great type inference, while Elixir's is a different (still sound) set-theoretic one. But most importantly, Elixir is, and always will be, a gradually typed language. There will always be parts of it that will remain or encourage dynamic typing and that opens the door to ambiguity. In a statically typed language the compiler enforces type annotations and that is where Gleam shines.

ashton314 2y ago
Sure sure, I don't disagree with anything you've said. I do think there are some people who would really have some kind of type system than none at all, and for whom the existence of Gleam might be enough for them to stay away from Elixir; with a (gradual) type system though, that might be enough for a few of them to come back. I'm just curious to see how the landscape shifts.