Using Typer and Dialyzer is usually what you u need<div><a href="http://www.erlang.org/doc/reference_manual/typespec.html#id72693">http://www.erlang.org/doc/reference_manual/typespec.html#id72693</a></div><div><br><br><div class="gmail_quote">
On Wed, Apr 13, 2011 at 11:08 AM, JohnyTex <span dir="ltr"><<a href="mailto:ekeroth.christoffer@gmail.com">ekeroth.christoffer@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hello! :)<br>
I'm a newbie Erlang programmer, and I've really liked my experience so<br>
far. However, I've made mistakes related to Erlang's type system a<br>
couple of times now, more specifically the fact that you can compare<br>
different types with each other without Erlang complaining.<br>
<br>
I've inherited someone else's code base; sometimes I forget that a<br>
function returns a tuple and I up comparing it with an integer or<br>
similar, and get weird behaviour and hard-to-find bugs as a result.<br>
<br>
What's the best way to prevent this? I will try writing some unit<br>
tests later today with EUnit, and I'm generating PLTs for Dialyzer as<br>
I write this, but I was wondering if there are any other tools or<br>
"best practices" that could help me to write more "type safe" code?<br>
<br>
Thanks in advance! :)<br>
_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
</blockquote></div><br><br clear="all"><br>-- <br>Best Regards,<br>- Ahmed Omar<div><a href="http://nl.linkedin.com/in/adiaa" target="_blank">http://nl.linkedin.com/in/adiaa</a></div><div>Follow me on twitter</div><div><a href="http://twitter.com/#!/spawn_think" target="_blank">@spawn_think</a></div>
<br>
</div>