Pyright
E911256
Pyright is a fast, static type checker for Python that provides comprehensive type analysis, including support for advanced features like generic types.
All labels observed (2)
How this entity was disambiguated
This entity first appeared as the object of triple T11215877 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Pyright Context triple: [Python generic types, supportedBy, Pyright]
-
A.
Repyt
Repyt is an ancient Egyptian lioness goddess primarily worshipped at Akhmim, associated with protection and sometimes linked to solar and warlike aspects.
-
B.
Pyr
Pyr is a science fiction and fantasy publishing imprint known for releasing speculative fiction titles under the Prometheus Books umbrella.
-
C.
PyPy
PyPy is a high-performance alternative Python interpreter featuring a Just-In-Time (JIT) compiler designed to significantly speed up the execution of Python programs.
-
D.
Pym
Pym is an English surname most notably associated with John Pym, a leading parliamentary figure in the early stages of the English Civil War.
-
E.
PYG
PYG is the National Rail station code for Paisley Gilmour Street, a major railway station in Paisley, Scotland.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Pyright Target entity description: Pyright is a fast, static type checker for Python that provides comprehensive type analysis, including support for advanced features like generic types.
-
A.
Repyt
Repyt is an ancient Egyptian lioness goddess primarily worshipped at Akhmim, associated with protection and sometimes linked to solar and warlike aspects.
-
B.
Pyr
Pyr is a science fiction and fantasy publishing imprint known for releasing speculative fiction titles under the Prometheus Books umbrella.
-
C.
PyPy
PyPy is a high-performance alternative Python interpreter featuring a Just-In-Time (JIT) compiler designed to significantly speed up the execution of Python programs.
-
D.
Pym
Pym is an English surname most notably associated with John Pym, a leading parliamentary figure in the early stages of the English Civil War.
-
E.
PYG
PYG is the National Rail station code for Paisley Gilmour Street, a major railway station in Paisley, Scotland.
- F. None of above. chosen
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
open-source software
ⓘ
software tool ⓘ static type checker ⓘ |
| canCheck |
Python source files (.py)
ⓘ
stub files (.pyi) ⓘ |
| category | Python tooling ⓘ |
| configurationFile | pyrightconfig.json ⓘ |
| designedFor |
fast type checking
ⓘ
large Python codebases ⓘ |
| developer | Microsoft ⓘ |
| distribution | npm package ⓘ |
| hasProperty |
command-line based
ⓘ
configurable ⓘ fast ⓘ |
| implements | Language Server Protocol ⓘ |
| integratesWith |
Emacs
ⓘ
linked to:
Emacs family of editors
Neovim ⓘ Visual Studio Code ⓘ |
| isFree | true ⓘ |
| license | MIT License ⓘ |
| platform | cross-platform ⓘ |
| primaryUse | static type analysis for Python codebases ⓘ |
| programmingLanguage | Python ⓘ |
| repository | https://github.com/microsoft/pyright ⓘ |
| runsOn | Node.js ⓘ |
| softwareGenre |
static analysis tool
ⓘ
type checker ⓘ |
| supportsFeature |
PEP 484 type hints
ⓘ
PEP 561 typed packages ⓘ async and await ⓘ command-line interface ⓘ generic types ⓘ gradual typing ⓘ incremental analysis ⓘ language server protocol ⓘ literal types ⓘ namespace packages ⓘ protocols ⓘ pyproject.toml configuration ⓘ static type checking ⓘ type inference ⓘ type narrowing ⓘ union types ⓘ |
| supportsLanguage | Python ⓘ |
| supportsMode |
basic type checking
ⓘ
strict type checking ⓘ watch mode ⓘ |
| usedBy |
VS Code Pylance extension
ⓘ
linked to:
Visual Studio Code
|
| writtenIn |
TypeScript
ⓘ
linked to:
TypeScript programming language
|
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Pyright Description of subject: Pyright is a fast, static type checker for Python that provides comprehensive type analysis, including support for advanced features like generic types.
Referenced by (5)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: Pyright