3 ms·
In that case, I'm not following where Dialyzer doesn't already address the problem? It doesn't cover every case, but it covers enough of them to provide a very
by brightball 9y ago
In that case, I'm not following where Dialyzer doesn't already address the problem?
It doesn't cover every case, but it covers enough of them to provide a very watchful eye without getting in your way.
https://speakerdeck.com/jvoegele/elixirconf-2016-dialyzer-optimistic-type-checking-for-erlang-and-elixir https://speakerdeck.com/jvoegele/elixirconf-2016-dialyzer-op...
- jeremyjh 9y agoI wrote and maintain Dialyxir. I'm familiar with Dialyzer. What it can't do, is tell me whether any given pid can actually accept and process a message of a particular type. You can write a module interface to your actor that does this, which is what most people do. But it is not quite the same as typed channels. And whoever started this thread was complaining about the "issue" in Akka. Messages are inherently dynamic in this style of communication. Its not the only possible style in either language, but its a valid criticism of this particular approach.