> It means that everyone defines strong and weak in their own way, which has happened in every type system debate I've seen over the past 15 years. Okay, that'

> It means that everyone defines strong and weak in their own way, which has happened in every type system debate I've seen over the past 15 years. Okay, that's fair. Part of the reason I gave examples and defined the spectrum I was talking about was to address this problem, because I know people don't necessarily know what I'm talking about.