Re:Claude Code uses Bun written in Rust now
by pianopatrick on Sunday July 19, 2026 @07:18PM
(#48972600)
Sometimes I think that if we are willing to burn tokens and rely on compilers in a loop we should be using languages that can catch as many errors as possible at compile time.
Like Ada or Ocaml or Haskell or something.
Or even require like MC / DC testing or MISRA C verification.
Or even some of the languages that apply Hoare checks, like Ada SPARK or FRAMA-C or VALE or whatever.
I don't have the budget to test how that would work but it seems interesting.
Re:Claude Code uses Bun written in Rust now
by hexasquid on Sunday July 19, 2026 @09:02PM
(#48973282)
I presume haskell applications similar to claude code are well represented in the training data.
Re:Claude Code uses Bun written in Rust now
by pianopatrick on Sunday July 19, 2026 @09:25PM
(#48973418)
There was a post recently from a guy who used Haskell with AI agents. If I remember correctly he said the type checking did catch errors. The problem was the compiler was very slow, which slowed down the feedback loop and output. I think he switched to Python.
The latest frontier models are competent at Rust and Swift and all manner of other less widely used languages.
The more important factor is how good they language's compiler is at kicking out actionable error messages, since one-shot code generation isn't as important once you have a coding agent loop.