[bhhaskin]

I am right there with you. we already have "auto-complete". I am not sure what "auto-correct" would entail. My guess is fixing syntax errors, but i don't see how it could even address logic errors.

[mojobot]

I am curious about how they will define correctness. With many parts in a system, code can look correct in its small unit, but not until it is running in the real world, is it obviously wrong.

[atwebb]

Able to identify common methods/algos/calls and correct a programmer's use of them, add in missing checks, remove unnecessary blocks/lines?

[bhhaskin]

A number of IDE's already do this. Eclipse has some nice features that do this.