PHPStan に見る PHP の型表現、そして PHP らしい型付けについて考えてみた by ミツイ

PHPカンファレンス沖縄2021
レギュラートーク(30分)

PHPStan に見る PHP の型表現、そして PHP らしい型付けについて考えてみた

__Mitsui ミツイ __Mitsui
1

私は元 Haskeller です。関数型言語出身です。
今から8年ほど前、私が PHP を書き始めたときの印象は「型の表現力が乏しい」というものでした。時は流れ PHP7 そして PHP8 にかけて、PHP は以前からは想像もできないほど豊かな型の表現力を獲得しました。
一方で PHPStan で実装済みのジェネリクスが PHP コアには未実装だったりと、PHP の型表現はまだまだ伸びしろ十分です。

PHP8 や PHPStan で型表現はどこまでカチカチになれるのか、翻って、PHP らしい型付けってどのようなものだろうかと思いを馳せてみます。