Things seem to be heading in the direction of using formal languages to define deterministic behaviour and natural languages to express matters of human taste.

If you zoom out, it does seem like the most natural thing - why should humans with finite memory and context better than an all knowing machine?