But we can still have static verification!

scala> val t = 7
t: Int = 7

scala> t.length
<console>:6: error: value length is not a member of Int
     t.length
            

However, sometimes we must explicitly type annotate to help out the inferencer. e.g. method arguments, recursive calls.