Hacker GitHub

← All repos

meta/pyre-check

View on GitHub ↗ ★ 7,180 OCaml archived

Performant type-checking for python.

26 mentions on Hacker News by 24 people: 2 stories, 24 comments · first 2018-05-11 · latest 2025-04-29

Mentions per year 26 mentions · busiest year 2020 (6)
20082026
AllStoriesComments NewestTopOldest
  1. A rewrite of https://github.com/facebook/pyre-check in rust?
    comment by emptysea · 2025-04-29 · in Pyrefly - A faster Python type checker written in Rust
  2. Did you come across pyre in your search? MIT license and pretty fast. https://github.com/facebook/pyre-check
    comment by cricalix · 2024-04-14 · in Pylyzer – A fast static code analyzer and language server for Python
  3. …https://news.ycombinator.com/item?id=27107647 . Note that Pyre does not support Windows ( https://github.com/facebook/pyre-check/issues/554 ) and only provides wheels for x86_64 Linux and macOS ( https://pypi.org/project/pyre-check/0.9.18/#…
    comment by networked · 2023-10-17 · in Mypy 1.6
  4. https://github.com/facebook/pyre-check https://github.com/facebook/flow https://github.com/facebook/infer https://github.com/facebook/hhvm/tree/master/hphp/hack
    comment by stefanos82 · 2023-09-15 · in Should I Rust or Should I Go?
  5. …only one I know that predates mypy for when it started development. Pyre's reason is interesting, https://github.com/facebook/pyre-check/issues/38 . Pyre is based off of Hack, facebook's php compiler. Facebook made pyre to re-use…
    comment by Mehdi2277 · 2023-01-03 · in Pyright: Static Type Checker for Python
  6. …and helix. Very useful, especially the strict mode. I usually pair it with pyre, another great tool https://github.com/facebook/pyre-check
    comment by nezirus · 2023-01-02 · in Pyright: Static Type Checker for Python
  7. …employees could doubtless say more, but at the very least I'm familiar with the actively developed https://github.com/facebook/pyre-check
    comment by zem · 2022-12-31 · in Learning OCaml in 2023
  8. …[2]: https://github.com/python/mypy [3]: https://github.com/google/pytype [4]: https://github.com/facebook/pyre-check [5]: https://peps.python.org/pep-3107/ [6]: https://peps.python.org/pep-0484/ [7]: https://docs.python.org/3/library/ty
    comment by gilch · 2022-08-13 · in Erg: a statically typed language that is Python compatible
  9. …is any faster for you either by removing the inlining optimization flag (the `-Oclassic` here https://github.com/facebook/pyre-check/blame/36243764ab81a82... ) or whether there's a way to compile pyre-check to bytecode instead of the…
    comment by dwohnitmok · 2021-08-23 · in OCaml at Bloomberg
  10. …real 0m43.700s user 4m3.030s sys 0m41.005s I must be doing something wrong. [1] https://github.com/facebook/pyre-check [2] $ tokei ------------------------------------------------------------------------------- Language Files Lines Code C
    comment by fnord123 · 2021-08-23 · in OCaml at Bloomberg
  11. mypy has implementations in other languages – PyCharm's is in Java, Facebook's Pyre's is in OCaML https://github.com/facebook/pyre-check
    comment by crazypython · 2021-03-21 · in Adoption of Mypy for Python type checking: 45% already use it, 40% don't plan to
  12. …PEP-484 compliant type checker, Pyre [1], because mypy was too slow for a codebase of our size. 1: https://github.com/facebook/pyre-check
    comment by reissbaker · 2020-11-13 · in Guido van Rossum joins Microsoft
  13. …so it is an ongoing effort. EDIT: As mentioned below, also added Pyright [2] by Microsoft [0] https://github.com/facebook/pyre-check [1] https://github.com/google/pytype [2] https://github.com/microsoft/pyright
    comment by ehsankia · 2020-11-12 · in Guido van Rossum joins Microsoft
  14. …writing in OCaml working on the project. [0]: https://engineering.fb.com/security/zoncolan/ [1]: https://github.com/facebook/pyre-check
    comment by sinancepel · 2020-08-08 · in Pysa: An open source tool to detect and prevent security issues in Python code
  15. ▲ 2
    Facebook/pyre-check: Performant type-checking for Python
    story by aspenmayer · 2020-08-07 · 1 comment
  16. …this is a list of the vulnerabilities Pysa able to catch out of the box without any customization: https://github.com/facebook/pyre-check/blob/6975ff55fc59b7b9...
    comment by gbleaney · 2020-08-07 · in Pysa: An open source tool to detect and prevent security issues in Python code
  17. …are the configuration we share with Pysa where you can find examples of bug categories we detect https://github.com/facebook/pyre-check/blob/master/stubs/tai...
    comment by the_storm · 2020-08-07 · in Pysa: An open source tool to detect and prevent security issues in Python code
  18. …false positives and false negatives - but I find it helpful. [1] https://github.com/python/mypy [2] https://github.com/facebook/pyre-check [3] https://github.com/microsoft/pyright [4] https://github.com/google/pytype
    comment by meowface · 2019-09-16 · in The boring technology behind a one-person Internet company (2018)
  19. …comparison of the 3 libraries yet. [0] https://www.youtube.com/watch?v=yFcCuinRVnU&t=38m25s [1] https://github.com/facebook/pyre-check
    comment by ehsankia · 2019-06-12 · in A Failed Experiment with Python Type Annotations
  20. ▲ 23
    Pyre: Facebook's static type checker for Python
    story by fanf2 · 2019-03-24 · 2 comments
  21. …and Google all have their own Python type checkers now. * https://github.com/google/pytype * https://github.com/facebook/pyre-check
    comment by anurag · 2019-03-24 · in Pyright: Static type checker for Python
  22. …too: At Google, we've got pytype ( https://github.com/google/pytype ) and Facebook has pyre-check ( https://github.com/facebook/pyre-check ). I've tried neither myself.
    comment by jchw · 2019-03-03 · in Pydis: Redis clone in Python 3 to make points about performance
  23. …this on a personal macbook which is apparently on an old osx version. This seemed to be the issue: https://github.com/facebook/pyre-check/issues/11 (Installed fine on an my work machine running OSX 10.13.3.)
    comment by hayd · 2018-05-13 · in Pyre: Fast Type Checking for Python
  24. …etc., you can take a look at the end-to-end typechecking tests, which provide lots of examples: https://github.com/facebook/pyre-check/blob/master/analysis/...
    comment by sinancepel · 2018-05-11 · in Pyre: Fast Type Checking for Python
  25. They accepted my spelling correction pull request. https://github.com/facebook/pyre-check/pull/3
    comment by edward · 2018-05-11 · in Pyre: Fast Type Checking for Python
  26. Website: https://pyre-check.org/ Github: https://github.com/facebook/pyre-check
    comment by mraison · 2018-05-11 · in Pyre: Fast Type Checking for Python