I think I did not object anything you've said. :-) I only wanted to point out once more that a proper static type system is of more use than some bolted on lin

I think I did not object anything you've said. :-) I only wanted to point out once more that a proper static type system is of more use than some bolted on linter. (And add the point about type inference).