phooji

4 ms·

1. 1.▲
   by phooji 7y ago

   Zoncolan and SPARTA both use abstract interpretation at their core, but as far as the code/implementation goes they are mostly unrelated. Zoncolan is built on top of the Hack type checker ( https://hacklang.org/ ), which
2. 2.▲
   Facebook awards 200k for 2018 Internet Defense Prize(research.fb.com)

   3 points by phooji 8y ago|1 comments
3. 3.▲
   by phooji 8y ago

   Pyre is faster in some circumstances. With that said, the real answer is 'it depends', and it may well be the case that mypy serves your needs better.
4. 4.▲
   by phooji 8y ago

   I think (2) is the overriding concern: we're getting really great results with the static analysis tools we've built internally on top of the Hack type checker. Building a similar tool on top of mypy would've required fairly
5. 5.▲
   by phooji 8y ago

   Please send us a pull request if this is something you'd like this to live in the pyre-check repo!
6. 6.▲
   by phooji 8y ago

   You can run Pyre without using watchman if your editor-of-choice supports LSP -- the two modes are basically complementary. You can also run `pyre check` in non-incremental mode, though that may be slower depending on the size of your codeb
7. 7.▲
   by phooji 8y ago

   Good question [I am the 'Pieter' on that blog post]. There will be a talk at PyCon that covers parts of this. It comes down to two reasons: 1) Performance. We needed something that would consistently work quickly on Instagram&#x27
8. 8.▲
   by phooji 8y ago

   https://pyre-check.org/ roughly covers it.