Functional programming, Erlang VM, BEAM, Type safety, ML-like syntax