Why AI is pushing developers toward typed languages