> A quote divorced from context is meaningless. I'll take that non sequitur to be an acknowledgement that your previous denial was incorrect. > … and "type" h

> A quote divorced from context is meaningless. I'll take that non sequitur to be an acknowledgement that your previous denial was incorrect. > … and "type" has always meant… "Language safety is not the same thing as static type safety." p6 Types and Programming Languages Apparently the author thought the phrase "type safety" more ambiguous than you do. > Types can enforce properties that no dynamic "typing" can ever achieve. Yes, static type checking can enforce properties that dynamic type checking can not.