I don't think it will. Elixir, if everything pans out, will be gradually typed. the new type system will be sound, but will be very different than other type systems.

Gleam from Day 1 is going to be statically typed using a Hindley-Milner type system/Algorithm W. It's battle tested. If you come from a lang like Rust, OCaml, Standard ML, etc its type system is going to be very familiar to you.