Comment by Ericson2314

This is nonsense. We can use these techniques even when "inputs" are somewhat subjective. They point is to separate the boring mechanical parts from the interesting parts.

This type of argument is the same as the people arguing types are bad because they alone don't ensure program correctness. They don't need to. They take care of the boring bits freeing up the mind to think about the interesting parts.