[mikewhy]

For a while, TypeScript has been able to check types using JSDoc. Since 2.3 I think, back in 2017.