Comment by symmetrist

Because it is easier to reason about languages with formal syntax and semantics. Most languages used in industry are a hodge podge of syntax and semantics with so many edge cases that even seasoned programmers will often end up writing bugs which take them days to track down.