3.3. Strongly, statically typed languages

This chapter introduces some strongly, statically typed languages but before we get to those, we need to understand how the languages we’ve so far used actually behave.