About every six to ten years I look in on the state of the art on making artificial human languages in which one cannot be misunderstood.
If we ever invent a human language where laws can be laid out in a manner that the meaning is clear, then we will have opened a door on programming languages that are correct. I don’t know that a programmer will invent this first. We might, but it won’t look that natural.