[amattn]

static typing is what drew me to go, Elixir isn't a static-typed language, but there are plenty of guardrails in the language that make up for it. Pattern-matching, guards, good compiler messages, casting, etc.

You've also got fantastic testing framework, and good conventions like tagged tuples {:ok, x} vs {:error, y}.

On top of all of that, you've got the Erlang underpinnings: immutability, crash-fast, app umbrellas, etc.

It's a very safe language to develop in. I don't miss the strict static typing at all.