4 ms·
Typing messages is considered a PhD (?) level problem. Could you talk more about how you went about solving it? Thanks!
by steamboiler 6y ago
Typing messages is considered a PhD (?) level problem. Could you talk more about how you went about solving it? Thanks!
- lpil 6y agoIt would be difficult (or perhaps impossible) to type all of Erlang's message passing features, so we reduced scope to not include distributed message passing or hot upgrades- so the types of all actors in the system can be known up front in order to be checked. In practice this is enough for the vast majority of applicatinos, and messages with runtime checks (like in regular Erlang) can be used for the other situations if required.