Hacker News Reader

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."

It sounds like Elixir ;)

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.

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

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)

Reply on news.ycombinator.com