3 ms·
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 syn
by weatherlight 2y ago
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.
https://en.wikipedia.org/wiki/Hindley–Milner_type_system https://en.wikipedia.org/wiki/Hindley–Milner_type_system