3 ms·
Elixir has other ways to express constraints, e.g. pattern matching and guards. I can't judge if it's equivalent in principle to a type system like Gleam's but
by cess11 3y ago
Elixir has other ways to express constraints, e.g. pattern matching and guards. I can't judge if it's equivalent in principle to a type system like Gleam's but in practice I find it rather easy to work with and solve issues I use types for in e.g. Java.
- giraffe_lady 3y agoIt's not quite equivalent but I believe it's the basis of the type system being developed for erlang so definitely contains a lot of the same information.