For example puppeteer uses TypeScript to validate code based on jsdoc annotations puppeteer/puppeteer#986

Also flow can do some validation, but not sure if there is puppeteer type definitions.