Comment by pjmlp
12 hours ago
The LLM itself is the metaprogramming, eventually we will be getting executables directly, the dream of previous AI Summers might finally materialise, with all the implications for the victims of software factories automation.
The LLM still benefits from a concise type-checked language to write software in, in the exact way a human does.
That would be formal rules, Lean style, and not related to 3 GL languages.