An in-depth exploration of the architecture powering Biome's type inference.

Biome is an integrated linter/formatter for JavaScript/TypeScript, CSS, HTML and GraphQL.

We are now in the process of implementing TypeScript-like inference (not full type checking!) that allows us to enable type-informed lint rules. This is similar to typescript-eslint except instead of using tsc we attempt to implement the inference ourselves.

This post describes our progress thus far, with a detailed overview of our type architecture.

  • FizzyOrange@programming.dev
    1·
    1 day ago

    Interesting. I guess as long as it doesn’t have any false positives this seems like an ok idea.

    Still, it would be definitely better if it could use tsc. They mention this… but don’t really say if the Go version of tsc will allow it. IMO the slowness of tsc is largely overblown.