I've written OTP and distributed code using gleam. Type checking inter system messages was rough, but its not like it didnt work.

I have used gleam and my own FFI, calling erlang from gleam isn't difficult.