PHPStan型付けマニュアル

CRANK

こんにちは！ 楽しくPHPStanを使っていますか？ それともPHPStanに使われていますか？PHPStanは非常に賢く、容易にPHPコードの 「嫌な気配」 を検知してくれます。ただ、PHPStanが指摘することが常に正しいなどといったことはなく、いつでもプログラムが動作しているという事実が前提で、静的解析はその影を追っているに過ぎません。PHPStanがどのようなメカニズムで型を付けているのか理解できていないと、自我を失って機械に言われるがままに意図しないコードを書かされる人形になってしまいます。本稿ではPHPStanを自律的に使うために前提となる知識を紹介します。ここからプログラミング言語と型、そしてPHPについての議論を始めたいのですが、「PHP」という名前はプログラミング言語の名前であり、PHP言語で書かれたソースコードを実行するプログラム名でもあります。ややこしいのですが、単にPHPと書くと言語名、phpと書くとPHPを実行するソフトウェアを指すことにしましょう。また、言語処理系とはプログラミング言語で書かれたソースコードを解析して実行したり、実行可能なプログラムファイルに変換するソフトウェアの総称です。phpのようにソースコードを直接起動…