5 ms·
Hi, I'm the author of Gleam. We have fully type safe message passing, we just don't have any special syntax for it. I'll update the documentation to make this
by lpil 6y ago
Hi, I'm the author of Gleam.
We have fully type safe message passing, we just don't have any special syntax for it. I'll update the documentation to make this clearer.
- scythmic_waves 6y agoHi! Super cool project you've embarked on. I know everyone I work with (those who write Elixir, anyway) is very interested in its progress. > I'll update the documentation to make this clearer. Thanks! Much appreciated.
- steamboiler 6y agoThanks for commenting. Do you have any code somewhere that demonstrates type-safe messages?
- lpil 6y agoCertainly, there are some links to relevent libraries here -> https://gleam.run/faqs.html#how-is-message-passing-typed https://gleam.run/faqs.html#how-is-message-passing-typed
- steamboiler 6y agoTyping 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.