There's an argument to be made that it already is. It's called lawyerese (or just L), its programmers are highly regulated and highly paid.
What happened here is what happens when someone with insufficient skill tries to write an L program. The language has no such thing as linting or syntax checking, so while a faulty program will always run, it will return with unexpected or absurd results. L failures tend to make C's nasal demons look positively friendly by comparison.
There's no formal spec, it's literally centuries of ad-hoc patches and fixes and revisions piled onto one another.
What happened here is what happens when someone with insufficient skill tries to write an L program. The language has no such thing as linting or syntax checking, so while a faulty program will always run, it will return with unexpected or absurd results. L failures tend to make C's nasal demons look positively friendly by comparison.
There's no formal spec, it's literally centuries of ad-hoc patches and fixes and revisions piled onto one another.