> Strong typing simply means that every value in the language has one and only one type, whereas weak typing means that some values can have multiple types. Ah

> Strong typing simply means that every value in the language has one and only one type, whereas weak typing means that some values can have multiple types. Aha! Now, any system with subtyping is “weakly typed”! For example, System F-sub!