Formal Languages

“I think formal languages won't go away because ultimately they seem complicated, but I think effectively a formal language is often the simplest type representation you can find to specify intent, right?”