Hacker News Reader

Hi! 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.

Typing messages is considered a PhD (?) level problem. Could you talk more about how you went about solving it? Thanks!

It 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.

Thanks for commenting. Do you have any code somewhere that demonstrates type-safe messages?

Certainly, there are some links to relevent libraries here -> https://gleam.run/faqs.html#how-is-message-passing-typed