[kohllision]

This is comparable to the argument that programmers are learning how to eliminate compiler/linter warnings rather than learning how to program better. Immediate feedback is the best learning tool and one leads to the other. Of course, natural languages are far more complex and have no universal standard. While it is true that no easy way to check for style, be it in programming or writing, we should encourage the use of such tools (once they are secure and privacy-friendly) as writing assistants.

[voakbasda]

No, it’s comparable to your compiler/linter suggesting fixes when it spots issues. Pointing out an error is one level of knowledge, suggesting a fix is not in the same class. Take away the grammar tools’ ability to make suggestions, and you have something equivalent. You still have to know how to math/program with a calculator/compiler.