Programming has been successfully automated though. Programmers used to write programs line-by-line in raw binary code or assembly mnemonics, now they just write high-level formal code in languages like C++ or Rust and the computer spends much of its working time processing those lexer and parser 'tokens' and translating the whole thing into assembly and binary code. It all works quite well.