Building developer tools
Learning Type Theory

Infrared: Inferred static type checker for JavaScript

Infrared is a developer tool that statically analyzes JavaScript projects and finds type errors. If you've ever used Flow before, this project is kind of like that but specializing in type inference.

This project fills the gap between vanilla JavaScript and TypeScript: if you want to go all-in on a type system you should use TypeScript. If you want type safety without changing anything in your project, use Infrared.