Why are methods considered pure by default?

[tomasfejfar]

https://phpstan.org/r/e1a03b33-ddb0-46a7-8d07-a3bcaeffa869

My expectation is that PHPStan would expect the method to randomly return anything possible by default. And only if I somehow flag it as somehow pure it will consider all subsequent calls with same parameters the same.

[tomasfejfar]

Doh! https://phpstan.org/blog/remembering-and-forgetting-returned-values

[ondrejmirtes]

You can also watch me talk about this for a few minutes starting here :) https://youtu.be/AFjr3RlDOZQ?si=4KskkbnK8IXn7mWz&t=1729

[tomasfejfar]

The docs didn't help me understand why, but the presentation did - it's mostly to allow people using the "incorrect" code keep having it 😄 So we're going with stricter code I guess 😄

[tomasfejfar]

Thanks