Static typing will create a lot of problems in a BEAM language IMO. The distributed nature and ability to send calls to other nodes that can be running complet

Static typing will create a lot of problems in a BEAM language IMO. The distributed nature and ability to send calls to other nodes that can be running completely different code would throw it for a loop unless you had a way to get the types from the other nodes as well. And even if you could there are a number of synchronization problems that come from it. You’ll end up getting the static benefits on your single node, but beyond that those guarantees will be gone just like interacting with a REST API.