One of the best things about TypeScript is that you can adopt it incrementally, i.e. valid Javascript is also valid TypeScript. For that to work, you have to assume functions are impure by default.