The leading contender for type safe languages on the BEAM at the moment seems to be Gleam: https://gleam.run/ https://gleam.run/ It's looking very promising Ad

The leading contender for type safe languages on the BEAM at the moment seems to be Gleam: https://gleam.run/ https://gleam.run/ It's looking very promising Adding a type checker to Erlang does make some sense, in the same way that adding types to Python makes sense. It adds to the checking in areas where you're added types while allowing perfect interop with the rest of the world.