5 ms·

I'll be ecstatic when the inevitable rust-backed python typechecker arrives, python type checking has been excruciatingly slow in the various places I've used i

• cricalix 3y ago
  Have you seen Pyre[0]? Not Rust, OCaml, and pretty fast. Made by a team at Meta and open sourced on GitHub. If you use python-lsp, I wrote an extension[1] to enable integration (though I haven't tested it recently, been programming in rust; it is mostly a "for me" extension). 0: https://pyre-check.org/ https://pyre-check.org/ 1: https://github.com/cricalix/python-lsp-pyre https://github.com/cricalix/python-lsp-pyre
  • mdaniel 3y ago
    That looks cool, thanks for posting it. I notice that you have a contributing section <https://github.com/cricalix/python-lsp-pyre#contributing https://github.com/cricalix/python-lsp-pyre#contributing> but no obvious licensing information (I checked some files, too, in case the license was in the file headers)
    • cricalix 3y ago
      Oh, right, I'll fix that - thanks for pointing it out.
• hkmaxpro 3y ago
  I’ve just found out pylyzer https://github.com/mtshiba/pylyzer https://github.com/mtshiba/pylyzer Not sure how good it is.
• diarrhea 3y ago
  Mypy in daemon mode has been good enough for me. But yeah, a reimplementation in a fast language would be great.