The document assumes very little in the way of prior knowledge of type systems
and attempts to be light on mathematics and theory. The document is aimed at
people with a passing interest in static type systems, and also at authors of
new programming languages. It is also likely of interest to users of existing
statically typed languages who are curious as to what newer languages have to
offer.