It's type safe, it's important to note that its type system is a Hindley–Milner type system. Same type system family as OCaml, Haskell, Standard ML etc. Its syntax is heavily inspired by Rust. whereas Elixir's syntax is inspired by Ruby and Erlang's inspired by prolog.