why making a type checker while being an ide ?

[cpetit636]

Hi. Was it necessary to make a new type checker for Python like an IDE ? Can the type checker be used with another IDE like Visual Studio Code or we need to switch to this IDE to use it ? Thank you for replying.

[yangdanny97]

When we say IDE, we mean that the type checker is a language server that provides IDE features to whatever editor you're using.

Visual Studio Code is one of our officially supported platforms, and we have an extension on the marketplace: https://marketplace.visualstudio.com/items?itemName=meta.pyrefly

[cpetit636]

Great ! I'll take a look. Thank you