[JoshTriplett]

I've found in declarative style, most mistakes just turn into compilation errors.

That said, the "why did it choose that terrible implementation?" problem does occasionally come up in declarative programming, and inherently never comes up in imperative.