Comment by jmalicki

Comment by jmalicki 2 days ago

2 replies

View on Hacker News

How is this an issue specifically with Rust and Haskell? Do you find that LLMs have an easier time proving global correctness with C, Python, or Typescript?

antonvs 2 days ago

Yes, because those other languages all have much weaker type systems.

Reply View 1 reply
  • jmalicki 18 hours ago

    Do you have examples of LLMs proving global correctness for say, C? Having worked on static analysis for both C and Rust, Rust is the easier problem because of the type system, but I am eager to be proven wrong!

    Reply View 0 replies