オレがオブジェクト指向をやめるために必要な3つのPHP RFC/PHP RFC for quit Object Oriented Programming

2023年6月22日のPHPカンファレンス福岡全然野菜での登壇資料です。
https://pepabo.connpass.com/event/280682/

Transcript

1. オレがオブジェクト指向をやめるために必要な ３つのPHP RFC 2023/6/22 PHPカンファレンス福岡 全然野菜 LINE Fukuoka きしだ なおき
2. 2023/06/22 2 自己紹介 • きしだ なおき • LINE Fukuoka • twitter: @kis • 「プロになるJava」という Java入門書を書いてます
3. 2023/06/22 3 オブジェクト指向とは • オブジェクト指向は状態管理技術 • 状態遷移の共通化が行いやすい • 状態遷移を管理しない場合 他の技法でも十分可能
4. 状態管理はどこにあらわれるか • モジュール境界では状態管理が必要 GUI ロジック データ ストア ユーザー アプリケーション
5. 現代的アプリケーションはモジュール化済 • Webクライアント+マイクロサービスでモジュール化 • DOM管理やDB接続は世界に数個あればいい • アプリケーションプログラマが状態管理を共通化する必要がない GUI ロジック データ ストア ユーザー アプリケーション DOM HTTP DB接続
6. オブジェクト指向からデータ指向へ • データ指向プログラミング • データをデータとして扱う • 抽象データ型 • 代数的データ型 • パターンマッチング
7. 抽象データ型と代数的データ型 • 抽象データ型 • 型の定義の指針 • 代数的データ型 • 型の組み合わせの指針
8. 抽象データ型 • データの操作だけ公開することで変更に強く柔軟な型を定義 • データ特化の「カプセル化」 • 操作としてデータ操作だけを含む class PersonName { function __construct( string $surname, string $givenName); function getFullName(); function getSurname(); function getGivenName(); } class PersonName { private string $surname; private string $givenName; function __construct ( string $surname, string $givenName) { $this->surname = $surname; $this->givenName = $givenName; } function getFullName() { return "%s %s".formatted(surname, givenName); } ... class PersonName { private string $fullName; function __construct ( string $surname, string $givenName) { $this→fullName = $surname.” “.$givenName; } function getFullName() { return $fullName; } String getSurname() { return explode(“ “, $fullName)[0]; } ... どちらでもOK
9. データ型のルール • 純粋関数をデータ型に拡張する • 純粋データ型？ • 参照等価 • 戻り値が引数だけで決まる • 副作用なし • 状態の変更や外部への入出力なし • 参照等価 • 戻り値が引数とフィールドだけで決まる • 副作用なし • フィールド変更以外の状態の変更や 外部への入出力なし
10. 代数的データ型 • 直積型 • クラス • 配列 • 直和型 • 継承 • union
11. 直積型 • 値を組み合わせる型 • 値のとりうるパターンがそれぞれの値のパターン数の積になる • class A{ function __construct(bool $a1, byte $a2) {} } • 2 x 256で512とおり
12. 直和型 • いずれかの型になる • int | float • 継承
13. Tagged Unions • 継承を使う場合 • 可能な型を限定できない • enumで限定 • https://wiki.php.net/rfc/tagged_unions enum Distance { case Kilometers(int $km); case Miles(int $miles); }
14. パターンマッチング • isによるパターンマッチング • https://wiki.php.net/rfc/pattern-matching class Point { public function __construct(public int $x, public int $y, public int $z) {} } $result = match ($p) is { // These will match only some Point objects, depending on their property values. Point{x: 3, y: 9, %$z} => "x is 3, y is 9, z is $z", Point{%$z, %$x, y: 4} => "x is $x, y is 4, z is $z", Point{x: 5, %$y} => "x is 5, y is $y, and z doesn't matter", // This will match any Point object. Point{%$x, %$y, %$z} => "x is $x, y is $y, z is $z", };
15. データの処理を考える • こんな値を合計する record Product(String name, Type type) {} record Item(Product product, int amount) {} var cart = List.of( new Item(new Product("餃子", new Packed(300)), 3), new Item(new Product("牛肉", new Bulk(250, 100)), 230));
16. 継承で実装してみる • 継承での実装 sealed interface Type { /** 量り売り */ record Bulk(int price, int unit) implements Type { int calc(int amount) { return price * amount / unit; } } /** パッケージ */ record Packed(int price) implements Type { int calc(int amount) { return price * amount; } } int calc(int amount); } int total = cart.stream() .mapToInt(item -> item.product().type().calc(item.amount())) .sum();
17. 継承のほうがいい？ • すっきりして見える int total = cart.stream() .mapToInt(item -> item.product().type().calc(item.amount())) .sum();
18. 継承で実現したときの欠点 • 追うときにいろいろなクラスを見る必要がある • 他のデータが関係あるときに対応できない • 1パック170円、3パック500円とか • 場合わけの型が2つあるときれいにかけない • どちらかの型に場合わけが必要 • 業務処理では一箇所にすべての型の処理をまとめるほうがいい • システム境界では他の型が関係することがすくないので継承が有効 • OracleConnectionがMySQLConnectionを気にしたりとかはない
19. 継承で実現したときの欠点 • 追うときにいろいろなクラスを見る必要がある • 他のデータが関係あるときに対応できない • 1パック170円、3パック500円とか • 場合わけの型が2つあるときれいにかけない • どちらかの型に場合わけが必要 • 業務処理では一箇所にすべての型の処理をまとめるほうがいい • システム境界では他の型が関係することがすくないので継承が有効 • OracleConnectionがMySQLConnectionを気にしたりとかはない
20. 詳しくはWEB+DB PRESS vol.134 • Javaだけど。 • 在庫なしっぽいので、電子版を • もしくは 「データ指向プログラミング」