Comment by braindead_in

> but a human still has to read that code and make sure that it does what you think it does.

Why not just write tests instead? If you have 100% test coverage, would you care about the code?