It's true that compulsory static typing can mitigate documentation bugs. But the effect isn't significant in the programming beginner experience.