Comment by ndriscoll
9 hours ago
The LLM still benefits from a concise type-checked language to write software in, in the exact way a human does.
9 hours ago
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.