Ada, a 45-year-old programming language, might just solve the very problems developers have been grappling with for years.