Follows Typing Discipline

Connects a programming language to the typing discipline it follows, such as static, dynamic, strong, weak, duck or gradual typing. The inverse reading, Typing Discipline Of Language, names the same link from the discipline toward each language that follows it. This relation gives the typing discipline already recorded as an enum fact on each language a durable, comparable entity identity; it does not replace that enum fact, which keeps classifying every language exactly as before.