The LLM still benefits from a concise type-checked language to write software in, in the exact way a human does.