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.
replyThe LLM still benefits from a concise type-checked language to write software in, in the exact way a human does.
replyThat would be formal rules, Lean style, and not related to 3 GL languages.
reply