Page 1
純粋 vs 副作用
PHPはなぜ難しいのか？
Pure vs. Side Effects: Navigating PHP's Complexities
pixiv Inc.
USAMI Kenta
2025-06-28 #phpcon PHPConference Japan 2025
Page 19
f(x) = 2x
$f = function($x) {return 2 * $x;};
Page 20
f(x) = 2x
$f = fn($x) => 2 * $x;
Page 29
関数の結果を画面に表示する
$f = fn($x) => 2 * $x;
echo "f(2) = ", $f(2);echo "sin(0) = ", sin(0);
Page 30
関数の結果を画面に表示する
われわれはvar_dump() も関数と呼んでいる
$f = fn($x) => 2 * $x;
var_dump(["f(2)" => $f(2)]);var_dump(["sin(0)" => sin(0));
Page 32
なぜ同じような関数なのに違いが…
関数はひとつ！じゃない！！
画面に文字を表示する
文字列を生成して
printf("Hello, world!");sprintf("Hello, world!");
捨てている！
Page 43
ユニットテストの基本スタイル
テスト対象の関数
function twice(int $n): int {return $n * 2;}
Page 44
ユニットテストの基本スタイル
期待値と結果を比較してチェック
function twice(int $n): int {return $n * 2;}
class TwiceFuncTest extends TestCase {function test(): void {$this->assertEquals(4, twice(2));}}
Page 47
純粋 vs 副作用
PHPはなぜ難しいのか？
Pure vs. Side Effects: Navigating PHP's Complexities
pixiv Inc.
USAMI Kenta
2025-06-28 #phpcon PHPConference Japan 2025
Page 55
不規則に副作用を起こすコードは容易に制御不能になる
Page 59
侵略者が送り込んだ未知の技術
の電子頭脳に対して…
工学的アプローチによって
戦力化を提案する野比のび太
『大長編ドラえもん(7) のび太と鉄人兵団』著： 藤子・F・不二雄／藤子プロ1987年2月25日初版第1刷、2011年第86刷Kindle版 p97, p102より引用
Page 62
制御できないものは制御できる部分にブレークダウンする
Page 63
ヘキサゴナルアーキテクチャ(Hexagonal architecture翻訳)Alistair Cockburn著、tai2訳2015年10月9日公開、2025年6月28日閲覧より引用
Page 64
クリーンアーキテクチャ(The Clean Architecture翻訳)Robert Martin著、tai2訳2015年10月9日公開、2025年6月28日閲覧より引用
Page 65
副作用がある部分を切り離す
- 任意の処理を純粋関数で書くということは「できない」
- 現在時刻・DB/ファイルの内容・外部APIの実行結果・ネットワーク… etc.
- それらに依存する部分を抽象化して切り離すことで、
テスト時にシンプルな偽物に差し替えてテストすることができる
- DIは純粋関数型になれないオブジェクト指向言語に許された武器
- 時刻への依存はPSR-20、乱数への依存は組込みのRandomizerで分離
Page 69
制御できないものは制御できる部分にブレークダウンする
Page 70
「なんたらアーキテクチャ」は構造をわかりやすく図示してくれるが、必須ではない
Page 82
resources/functionMetadata.php
Page 83
JetBrains/phpstorm-stubs
- PhpStormで使用するための関数メタデータを管理しているパッケージ
- #[JetBrains\PhpStorm\Pure]というアトリビュートで純粋性を定義
- 問題点
- #[Pure]とマークされている関数の基準が曖昧
- #[Pure(mayDependOnGlobalScope: true)] ？？？？？
「不純な純粋」というTig-HugなOxymoron
Page 89
CurlHandler/リソースは外部から観測できない内部状態に依存するので純粋と言いがたい
Page 90
PHP 8.5に導入される新機能
#[NoDiscard]
- PHP RFC: Marking return values as important (#[\NoDiscard])
- このアトリビュートがついた関数の戻り値を無視すると、
PHPランタイムがE_WARNINGを発生させてくれる
- #[NoDiscard]が導入される8.5ではビルトイン関数に対しては
flock()とDateTimeImmutable::set*()のみ追加
- 現状はちゃんと確認しないと事故るやつのみ、保守的にマークされてそう
Page 98
＿人人人人人人人人人＿＞ 僕の怠惰が原因 ＜‾Y^Y^Y^Y^Y^Y^Y‾
Page 101
ガチでPHPStanを極めてみたい仲間を増やしたい！！！
