title: Is Scala strongly typed ?
body: <ol>
  <li><p>Is Scala strongly typed ? Do you have example how is it being reflected in the language type system? Does Scala allow type punning? Does it allow coercion?</p></li>
  <li><p>Does Scala have polytypes like ML?</p></li>
  </ol>
  
  <p>Thank you!</p>