2 ms·
Meh. Dialyzer mostly remedies Erlang's dynamic typing for me (also a big OCaml fan). Almost a little freeing. What kills me is that Erlang's design makes it
by colanderman 12y ago
Meh. Dialyzer mostly remedies Erlang's dynamic typing for me (also a big OCaml fan). Almost a little freeing.
What kills me is that Erlang's design makes it practically impossible to statically check messaging. ! must be /dev/null as far as Dialyzer is concerned.
(Not that solving this is an easy problem! But in an environment as dependent on messaging as OTP, it's a painful shortcoming.)
- davidw 12y ago> ! must be /dev/null as far as Dialyzer is concerned. In day to day use with OTP, you don't use ! much, directly - you're much more likely to do a gen_server:call/cast from within a function that you can easily spec out.