[modernerd]

You might like https://gleam.run/, another BEAM language but with type-checking.

https://tour.gleam.run/basics/type-checking/

[Alupis]

Gleam compiles to Erlang. So you can skip Erlang entirely but get all of the BEAM and ecosystem's benefits.

Gleam is very much worth checking out. It's syntax is very nice and natural feeling.

[adamddev1]

I have checked out Gleam and yes it does look delightful. Function captures are a really cool idea.