Biome Type Inference: A Look Behind The Scenes (arendjr.nl)
from arendjr@programming.dev to programming@programming.dev on 12 May 14:47
https://programming.dev/post/30205349

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.

#programming

threaded - newest

FizzyOrange@programming.dev on 12 May 16:08 collapse

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.