title: Type checking in Erlang
body: <p>How I understood, <code>-spec</code> uses in Erlang for dialyzer only.</p>
  
  <p>How can I check type (e.g. in function) at compile time (how this is realize e.g. in Haskell)?</p>