[ducktective]

Would the "LLM era" revitalize languages like Ada and Haskell into mainstream?

[synack]

Claude does an okay job of translating from other languages into Ada. It works especially well if you write the specification (.ads) file and let it write the body (.adb)

Ada’s strictness about types and a preference to allocate on the stack rather than the heap means more bugs are caught at compile time. Claude Code is really good at iterating on compile time errors without much user intervention.

[ajdude]

There was a pretty good article a while ago on how using verified SPARK (a subset of Ada) could help with llm generated output https://arxiv.org/html/2502.07728v1

[pjmlp]

LLM will make all languages mostly irrelevant, a niche like Assembly programming is nowadays, it is the next abstraction level, generating existing languages is only a temporary measure until they get good enough to generate straight executables.

[adrian_b]

Not even the deterministic high-level programming languages have succeeded to make the assembly languages irrelevant, despite everybody claiming that this will happen.

While the amount of source code written in assembly languages is an extremely small fraction of the total existing code and only few programmers are competent to write such programs, that assembly source code determines a large fraction of the performance of the applications run on modern computers.

LLMs are likely to behave similarly, i.e. a good amount of programs will continue to be written directly in deterministic programming languages by competent programmers, while a greater amount of source code, usable for solving problems that are neither novel nor critical, will be generated by people with lower skills, with the help of LLMs.

[rwallace]

I predict that it will never make sense for artificial neural networks to directly generate machine code, for most of the same reasons it doesn't make sense for biological neural networks to do so.