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
Tell me about it... I work on prompting a lot and you would be surprised how different the model interprets things like "suggestion" vs "recommendation".
