AI is settling the “typed vs. untyped” debate by turning type systems into the safety net for code you didn’t write yourself.

The GitHub Blog provides updates, announcements, and insights from the world's leading software development platform, covering topics such as new features, community highlights, and industry trends. Developers can learn about GitHub's latest developments, best practices for collaboration, and tips for maximizing productivity on the platform.

GitHub Blog

AI-generated code is driving developers toward typed languages because type systems catch errors that AI tools commonly introduce. A 2025 study found 94% of LLM-generated compilation errors were type-check failures. TypeScript became the most used language on GitHub in August 2025, growing 66% year-over-year to 2.6 million developers. Other typed languages like Luau and Typst also saw triple-digit growth. Type systems provide a safety net and shared contract between developers and AI tools, making code more reliable and maintainable when you don't control every line yourself.

Why AI is pushing developers toward typed languages

What Octoverse 2025 says about the rise of typed languages

AI is not pushing developers towards typed languages.
Developers are pushing developers towards typed languages, and it’s nothing new!

it astounds me that there is huge resistance in going type safe.

Types is always the way, eventually we all come to that same conclusion. The larger the project gets the better off you are with types

AI also faces the same problem as web development - a frequent API change when updating libraries versions. People think it will be more readable for people, but it scares AI. The API changes in almost every version of each new release. The AI model is often older than 1 year.