Psalm is made possible through the contributions of hundreds of developers.
Hopefully you can be one of them?
Here’s a rough guide to the codebase.
Here's the philosophy underpinning the Psalm’s development.
I've also put together a list of Psalm’s complexities.
Are you looking for low-hanging fruit? Here are some GitHub issues that shouldn't be too difficult to resolve.
One great thing about working on Psalm is that it’s very hard to introduce any sort of type error in Psalm’s codebase. There are almost 5,000 PHPUnit tests, so the risk of you messing up (without the CI system noticing) is very small.
Day-to-day PHP programming involves solving concrete problems, but they're rarely very complex. Psalm, on the other hand, attempts to solve a pretty hard collection of problems, which then allows it to detect a ton of bugs in PHP code without actually executing that code.
There's a lot of interesting theory behind the things Psalm does, too. If you want you can go very deep, though you don't need to know really any theory to improve Psalm.
Lastly, working to improve static analysis tools will also make you a better PHP developer – it'll help you think more about how values flow through your program.
Before you send a pull request, make sure you follow these guidelines:
Run integration checks locally: composer tests
If you're adding new features or fixing bugs, don’t forget to add tests!