[lobo_tuerto]

They don't mention how, but this is from the job description:

"Our biggest and the most challenging project is evolving Erlang into a modern statically typed programming language.

Our work is motivated by extremely successful and large-scale application of Erlang at WhatsApp."

[milani]

It sounds like Elixir ;)

[dmix]

Elixir isn’t any more statically typed than Erlang? More modern in many ways, yes, but something like the goals of Typescript over JS are quite different.

[milani]

Right, Elixir has hints rather than being truly statically typed.

[dnautics]

Elixir's hints are identical to erlang's hints, they are just prettier and easier.

However, if you use structs extensively in elixir, with a good code editor language server, it is basically easy to eliminate most typing errors if you get into the habit of typespeccing everything (not hard with vscode)