Maybe you’re implying that message passing makes compile-time validation of messages difficult? The types themselves are a solved problem, as long as you allow actors to fail when they receive a message they can’t handle.
It in fact mimics what a lot of people are already doing with pattern matching.
So I don't think there is any real good reason to not allow enforcing static types, at least across your own part of the codebase anyways.