<div dir="ltr">my opinion, <div><br></div><div>if intent is to simplify components in tool chain such as compiler -> xref -> dialyzer ..... or some variation</div><div>then i agree that compiler should not check for any external deps. </div><div>But in that case there should be added some standard tool to run that tool chain, because users don't want to spend much time </div><div>on configuring things like that, and it should be default practice to run that tool instead just compiler. And if you have some special</div><div>needs to skip some steps or just use single step, than you still have all this discreet tools available to use them as you want.</div><div>But for that Dialyzer in my opinion should be heavily optimized. </div><div><br></div><div>in a sense i see need for clear separation of tasks and responsibilities but on other hand i want default use case to be as simple </div><div>as possible and also as strict as possible.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Dec 22, 2016 at 1:13 AM, Richard A. O'Keefe <span dir="ltr"><<a href="mailto:ok@cs.otago.ac.nz" target="_blank">ok@cs.otago.ac.nz</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Let me offer another perspective.<br>
<br>
Once you add -type and -spec declarations to your Erlang code,<br>
it becomes ASTONISHING that your code is not in fact type checked<br>
by the compiler.<br>
<br>
There is no other programming language that I use or have ever<br>
used in which source code *with* type information isn't checked<br>
by the normal compiler, to the extent that it *can* be checked<br>
locally.<br>
<br>
It is fatally easy to think that because you took care<br>
to write -type and -spec and the compiler is silent that<br>
your code is type correct, when it isn't.<br>
<br>
Long term, we should not be shunting off ever more checking<br>
from the compiler to the dialyzer; on the contrary, the<br>
dialyzer as a separate tool should disappear.  There should<br>
still be some compiler option to say how *much* checking is<br>
to be done, but the default should be "I'll check everything<br>
I can within the limits of what you've given me".<div class="HOEnZb"><div class="h5"><br>
<br>
______________________________<wbr>_________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" rel="noreferrer" target="_blank">http://erlang.org/mailman/list<wbr>info/erlang-questions</a><br>
</div></div></blockquote></div><br></div>