The law is a much more ambitious attempt at formalization than any programming language, hence the more dramatic failures. Comparatively, programming languages

The law is a much more ambitious attempt at formalization than any programming language, hence the more dramatic failures. Comparatively, programming languages are very constrained. The environments in which they are interpreted and executed are far better understood than any human courtroom. Your point is an interesting one but it’s painting with too broad a brush.