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

Jane Street is the quant shops’ quant shop, and it does just that, with great success. Last year its trading revenue almost ...