I’m using Antigravity in one of my Haskell projects, which is a bit complex, and it’s working unexpectedly well. I believe LLMs will be much better at writing code in strongly typed languages like Haskell, Rust, or Idris.