Comment by janderland
4 months ago
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's really not a problem to have actors fail like that so long as you're using structural types.
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.