facebook/pyre-check 源码下载_部署教程

项目概述

Performant type-checking for python.

项目地址

https://github.com/facebook/pyre-check

项目页面预览

关键指标

Stars：7135
主要语言：OCaml
License：MIT License
最近更新：2026-01-15T10:52:10Z
默认分支：main

本站高速下载（国内可用）

点击下载（本站镜像）
– SHA256：c8bda4a87bfffa6cbbf78ee9de4bfcc2fe72aac15e1755a71d38c4059bd463d9

安装部署要点（README 精选）

Running Pyre

We are now ready to run Pyre:

(venv) $ echo "i: int = 'string'" > test.py
(venv) $ pyre
 ƛ Found 1 type error!
test.py:1:0 Incompatible variable type [9]: i is declared to have type `int` but is used as type `str`.

This first invocation will start a daemon listening for filesystem changes – type checking your project incrementally as you make edits to the code. You will notice that subsequent invocations of pyre will be faster than the first one.

For more detailed documentation, see https://pyre-check.org.

常用命令（从 README 提取）

$ brew install python3 watchman

$ sudo apt-get install python3 python3-pip python3-venv
$ brew install watchman

$ mkdir my_project && cd my_project
$ python3 -m venv ~/.venvs/venv
$ source ~/.venvs/venv/bin/activate
(venv) $ pip install pyre-check