I think LLMs are already influencing the development of somethin between natural language and a formal language.

Prompt engineering and getting structured data in and out of an LLM naturally lead you to something like precise English with JSON and pseudocode syntax sprinkled in