Had an idea today after lunch and basically one-shotted a solution for the currently most-upvoted PHPStan feature request:
Remote
Ondřej Mirtes
@OndrejMirtes@phpc.social
mastodon 4.7.3Creating @phpstan@phpc.social by day and night. 👨🏻💻👨👩👦👦🎮🚴♂️
698 Followers
72 Following
48 Posts
Joined December 13, 2022
Twitter:
GitHub:
PHPStan:
Replying to
There's room to improve performance with this technique even more in the future, but we're shipping it now because it brings real benefits already.
Currently we've only rewritten 0.8 % lines of code of PHPStan's source code.
PHPStan 2.2: Unsealed Array Shapes, Safer Array Keys, and More! https://phpstan.org/blog/phpstan-2-2-unsealed-array-shapes-safer-array-keys
I’m trying to wrap my head around the fact that 10-15 years ago Linux was the OS with the worst UX, now it’s the one with the best UX.
Because it’s made by volunteers who only care about the result and their users, but Microsoft and Apple mostly care only about themselves.
Goodbye PHPStan 2.1.x 👋 It's been nice 18 months. https://github.com/phpstan/phpstan/releases/tag/2.1.56
Now onto PHPStan 2.2.0. It's coming on Thursday.
Hot take: thanks to LLM coding agents, the average software quality will increase, not decrease.
Why Array String Keys Are Not Type-Safe in PHP And What Will PHPStan Do About It:
https://phpstan.org/blog/why-array-string-keys-are-not-type-safe
For the longest time I was bothered that “Documentation” link on phpstan.org led directly to “Getting Started” page, and that some really useful docs pages weren’t discoverable at all.
That changes today. Documentation now has a dashboard with boxes describing what use-case/problem the linked page solves.
Using PHPStan to Extract Data About Your Codebase https://phpstan.org/blog/using-phpstan-to-extract-data-about-your-codebase
Error identifiers documentation is finally useful! Take a while and browse everything PHPStan can report: https://phpstan.org/error-identifiers
New errors are coming to PHPStan:
I had a bad hair day at PHP UK but I think this talk recording is still worth your time.
Can’t wait to delete all that object-oriented pesky typesystem code from PHPStan!
I love git bisect and I wanted PHPStan to have its own bisect command. So I made it.
If PHPStan reports a bug in your code but you know it's wrong and that it used to work before you upgraded, you can use bisect to pinpoint the exact commit where the behaviour changed. Available now in 2.1.47!
My opinion on the latest Bound-Erased Generic Types RFC: https://externals.io/message/130816#130853 (spoiler alert: I like it)
Several times a week I tell people their problem can be solved by adding @phpstan-impure above their non-void function (or by setting rememberPossiblyImpureFunctionValues: false).
Finally, PHPStan will tell them by itself:
Replying to
@kanec@techhub.social @marcoarment@mastodon.social Not worse than growing almonds and avocados.
Come see me at 13:30 in Pathé 1 play Red Alert 2…. uhh, talk about generics in PHP. #dpc26 @dpcon@bird.makeup
Coming soon to the PHPStan playground 💅
Replying to
@alexkaessner@mas.to In short, on Linux as a user I feel in charge. On other platforms I feel I’m just along for the ride.
Specifically: ads, the need to click on “maybe later”, “don’t share my data”, interruptions, updates installed suddenly while restarting the computer, bugs, inconsistent UI.
Both Windows and macOS have pretty bad system preferences dialogs.
When I installed Bazzite on my gaming PC I was blown away by its preferences (KDE?), everything was discoverable, in an intuitive UI.
Replying to
@xela@troet.cafe I really like this take: https://infosec.exchange/@art4/116990536151677007
Preventing people who didn't create their custom software yet (and can now thanks to LLMs) feels like gatekeeping.
Me writing PHP projects 20 years ago with all the SQL injections and XSS were worse than today's AI slop.
Something I didn’t have on my bingo card for 2026: a new major version of the only frontend framework I ever learnt and used: Knockout.JS https://tko.io/3to4/
Replying to
@Romm@mastodon.social @markusstaab@phpc.social We’re using phpbench since https://github.com/phpstan/phpstan-src/pull/5200
Previously we just relied on noticing that something got slower
Replying to
@bobmagicii@phpc.social @beberlei@phpc.social @asgrim@phpc.social I wouldn't say it's tedious, it just reflects the actual complexity of the problem.
You have:
ReflectionNamedType
ReflectionUnionType (can also contain multiple intersections - DNF)
ReflectionIntersectionType
You can't simplify this to "getClass”. Every type behaves different, you need to write code for each of these cases and decide what you want to do with them.
Once PHP adds yet another type, you need to add support to it and decide once again the behaviour.
Replying to
@joeposaurus Come on, you could write similar lists about most things people do to function in a society. Like driving a car or wearing clothes or drinking coffee.
Yo dawg, I heard you like comments, so I put comments in your comments, so you can comment while you comment.
Now available in phpstan/phpdoc parser 2.1.0 & PHPStan 2.1.6.
WebExpo Prague is happening again in two weeks, and I wouldn't miss it. It's one of the best places to meet software people from across the scene in one place.
Use MIRTES26 for 1 000 Kč off at webexpo.net. See you there!
I’m gonna prompt inject the agents myself 😈
Replying to
@beberlei@phpc.social @bobmagicii@phpc.social @asgrim@phpc.social What if the next type is: “Any Exception, except for InvalidArgumentException”? I might be a control freak but to leave the interpretation to me is really important, and not just in PHPStan.
Replying to
@harald Interfaces too. Trait is not really a declaring class, the class using the trait is. But the information about the trait is also available: https://apiref.phpstan.org/2.1.x/PHPStan.Reflection.Php.PhpMethodReflection.html#_getDeclaringTrait
PHPStan knows everything about your code. It needs it for 1st party rules, but you can use it too.
Replying to
@acelaya@mastodon.social So is eating meat, avocados, and driving a car, but those cats are out of the bag too.
Replying to
@gullevek@famichiki.jp By this measure we are all idiots ever since we moved on from assembly code to higher level languages (because a lot more people could become programmers).
PHPStan 2.2.4 addresses the RAMpocalypse! It now consumes a lot less memory. See for yourself by running "analyse -v".
Running PHPStan itself used to consume 2,8 GB, now it consumes 2,1 GB. On a big real-world project, the consumption went down from 17,45 GB to 14,1 GB.
Replying to
@sabbatical@qoto.org @gerritvanaaken@typo.social @frankrausch@typo.social I installed Bazzite on my gaming PC, apparently the desktop environment is KDE Plasma, so any distro with that.
Replying to
@emd@cosocial.ca @acelaya@mastodon.social So you think the same people that review code written by humans, would skip reviewing code written by LLMs? Why?
Replying to
@stof @beberlei @bobmagicii @asgrim Another realistic case that might be questionable in the future - what about generics or array contents? Should "Foo" have "Bar" in the "getClasses" array? Again, has to be handled on case-by-case basis.
Replying to
@zonuexe@phpc.social I don't get why callable-array, non-empty-mixed, noreturn are marked as "not enforced" by PHPStan. Please open issues about those. AFAIK they work properly.
Replying to
@mattbrowndev@mastodon.social Using coding agents is an advantage that makes you a lot more productive. If you won't use it, your competitors will, and you'll lose. Whether you're a business or a job applicant.
Replying to
@Romm@mastodon.social Yes, the extension is optional. Fortunately our strong CI suite will catch any discrepancies.
Embarking on a vision quest for the next major PHPStan feature.
Replying to
@xela@troet.cafe It doesn't matter whether I'm all in or not. The cat is out of the bag and is not going back in.
Replying to
@m1ke Custom dynamic return type extension. Or come up with a design that relies less on arrays like that 😊
Replying to
@fsfe@mastodon.social @Curia@curia.social-network.europa.eu Congrats, when I will be able to use iPhone Mirroring in the EU? And Siri AI?