Those looking for a type-safe actor model implementation may find the Gleam language [1] that runs on the actual BEAM VM and its OTP library [2] more interesting. It's type system is much closer to Rust, with native algebraic data types.
replies(1):