> From the discussion and examples, that seems to be a restriction on the programmer, not a feature of the feature. Being a restriction and being a feature are

> From the discussion and examples, that seems to be a restriction on the programmer, not a feature of the feature. Being a restriction and being a feature are not mutually exclusive. Strong typing is a restriction on what's a collection of bits. Functions are just restrictions on your ability to change the PC. Loops are just restrictions on your ability to jump. Restrictions are necessary to create structure.