PHPカンファレンス福岡2023
レギュラートーク(15分)

filter_var() 最強理論

tadsan うさみけんた tadsan
5

型、付けてますか？

型なしは心のゆるみ。プログラマたるもの、型付けは帰宅したら脱いだ靴を揃えるくらい自然に行なう所作です。
入力に型がなければ、すべての処理を安全に実行することはできません。

このトークにおいては標準関数のfilter_var()とPHPStanによる静的検査によって型なしの値に型健全性と実行時安全性を両立させる考え方を解説します。

キーワード

  • filter_var() / filter_var_array() / ハイドレーション
  • PHPStan / PHPStan extension
  • 型安全性(型健全性)