When you get to the really tightly controlled industries, your "formal" language becomes carefully structured English.
Legalese exists precisely because it is an attempt to remove doubt when it comes to matters of law.
Maybe a dialect of legalese will emerge for software engineering?
Legalese is nowhere near precise, and we have a whole very expensive system because it’s not precise.
It is an attempt the be precise, and to remove doubt. But you're right that doubt still creeps in.
Legalese already exists in software engineering. Several dialects of it, in fact. We call them programming languages.
Legalese exists precisely because it is an attempt to remove doubt when it comes to matters of law.
Maybe a dialect of legalese will emerge for software engineering?
Legalese is nowhere near precise, and we have a whole very expensive system because it’s not precise.
It is an attempt the be precise, and to remove doubt. But you're right that doubt still creeps in.
Legalese already exists in software engineering. Several dialects of it, in fact. We call them programming languages.