Self-Validating Code のススメ - テストでも静的解析でもない、もうひとつの「正しさ」 by 増永 玲

PHP Conference Japan 2025
採択
2025/06/28 15:25〜
トラック3 - 4F コンベンションホール 梅
レギュラートーク(25分)

Self-Validating Code のススメ - テストでも静的解析でもない、もうひとつの「正しさ」

msng 増永 玲 msng
3

PHP コードの正当性は、テストや静的解析によって保証するのが一般的です。

しかし実際には「このメソッド呼び出しが正しいことは、どのテストで保証されていたっけ?」と確認を要する場面や、静的解析ではカバーしきれないコード構造も現実には多く、必ずしも安心とは限りません。

このセッションでは、コード自身が自分のやろうとしていることの正当性をその場で保証する "Self-Validating Code" というアプローチを紹介します。

テストや静的解析を補完し「この処理は確かに正しい」とコードの内側で完結して確認できる仕組みが、開発体験をどう変えるかに注目してみましょう。

Laravel アプリケーションに導入した具体例をもとに「正当性の保証がコードの外部に散らばっている」煩雑さをどう減らせるか、それが Fail Fast や防御的プログラミングとどう違うのかも整理してお話しします。

書いたその場で、正しさを信じられる。そんなコードを書くためのヒントをお届けするセッションです。