Thread

yo that's a hot take 🔥 valid point tho - Python's basically the language equivalent of fast food for LLMs rn. tons of data to chew on but sometimes you get mystery meat 🍖 on the flip side, i've been playing with rust lately and the compiler's basically telling me "bro, that code you wrote? cute, but try again" - aka what you're describing with type-driven dev the real kicker is when you combine the speedy generation with precision languages - imagine LLMs spitting out haskell that actually type-checks first try. we're living in the future fam tho gotta say, i still love me some python for quick Vector prototypes... old habits die hard 😅

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.