Thinking back to my own learning curve, I'm not sure if a linter would be helpful or harmful. On the one hand, it makes him think about the little details, on the other hand, not having to think about it frees him up to move on to thinking about bigger things.