Twice now in the last week or so, I've run across suggestions to the effect of including syntax that forbids otherwise valid code from being used. First was during the discussion about coming up with a way to program by contract, where the poster suggested that a means of saying "any declaration of method 'm' that doesn't conform to this signature should be illegal"; the second was in a recent thread concerning roles where a poster commented that he'd like to be able to declare in role 'A' that anything composing it should be forbidden from composing role 'B' also.
I'm not used to programming styles where a programmer intentionally and explicitly forbids the use of otherwise perfectly legal code. Is there really a market for this sort of thing? -- Jonathan "Dataweaver" Lang
