Payment firm Stripe had used a type system called Flow to check for JavaScript errors since 2016. The firm decided to switch to TypeScript, a programming language, after requests from its engineers.