PHPの型システムが言ってることがわからない

PHPのドキュメンテーションにおいて

PHP は部分型の関係を満たしつつ(behavioral subtyping)、 名前ベースで一致を調べる型システム(nominal type system) を採用しています。 部分型の関係はコンパイル時にチェックされますが、 型の検証は実行時に動的に行われます。

PHP の型システムは、様々な基本型(atomic type)をサポートしており、 それらを組み合わせてより複雑な型を作ることができます。 そうした複雑な型の一部については、 型宣言 時に記述できます。

という記述があります。behavioral subtypingやnominal type systemについて簡単にLTします！

Transcript

1. PHPの型システムで 言ってることがわからない スー
2. 自己紹介 テックリード ／　Suguru Ohki スー TechTrainのエンジニア1人目。 技術を反復横跳びしていますが、前より抑えられています・・・！ 趣味: サウナ、お酒
3. 01 PHP公式ドキュメント における型システム
4. 皆さんもこの説明見たことありますよね・・・？
5. 採用アルゴリズム 部分型の関係を満たしつつ (behavi ral subtypi ng) 名前ベースで一致を調べる型システム (nomi nal type system)
6. 採用アルゴリズム 部分型の関係を満たしつつ (behavi ral subtypi ng) 名前ベースで一致を調べる型システム (nomi nal type system) わ か ら ん
7. 02 部分型の関係 (behaviral subtyping)
8. behavi ral subtypi ng サブタイプ（派生クラス）は、そのスーパータイプ（基底ク ラス）の代わりに使用できるべきである。 1 . サブタイプは、スーパータイプの振る舞い（メソッドの契約） を維持しなければならない。 2 . サブタイプは、スーパータイプの事前条件を強化してはなら ず、事後条件を弱めてはならない。 3 .
9. behavi ral subtypi ng
10. behavi ral subtypi ng
11. behavi ral subtypi ng
12. behavi ral subtypi ng Square は Rectangle のサブタイプであり、Rectangle が 使用できる場所で Square も使用できます。 1 . Square は Rectangle の振る舞いを維持しています （getArea() メソッドの契約を守っています） 。 2 . printArea() 関数は、Shape インターフェースを実装した 任意のオブジェクトで動作します。 3 .
13. 03 名前ベースで一致を調べる型 システム (nominal type system)
14. 名前的 or 構造的の2つがある Nomi nal type system 1 . Structural Typi ng 2 .
15. 名前的 or 構造的 1.Nominal type system FooとBarの名前が異なる →エラーとなる
16. 名前的 or 構造的 2. Structural Typing FooとBarの構造が同じ →エラーとならない
17. ご清聴ありがとう ございました！ 時間があれば、余談に続く
18. 07 余談: 明日話す型システム も含む余談。
19. 余談1: Gener i cs Generics 1 . 言語に取り入れるRFCが実はあるが、動いてない a. https://wiki.php.net/rfc/generics (Draft) i . https://github.com/PHPGenerics/php- generics-rfc/issues/45 ii . https://github.com/nikic/php-src/pull/3 iii . phpstanやmrsuh/php-genericsといったライブラリで 現在は取り入れられていることが多いですよね！ b. 2 .
20. 余談2: まだまだPHPの型の怪しいところ 型の相互変換(TypeJuggling) 型の機能自体が 値の型そのものを見ているわけではなく、 値の内容が目的の型に変換できるかどうかでみている a. 受け入れられると型変換されると言った性質を持つ部分が あるため、このようなことが結構おきる b. 日本に来てGina Peter Banyard(Girgias)さんがLTをし てくださった際にもTypeJugglingには言及されていて、 安全に型が使えるようにRFCを出してくださることが多い c . swisskyrepo/PayloadsAllTheThings にも例がある d.
21. 余談3: 実はt ypeに優先順位がある え？typeに優先順位なんてあんの？と思いましたw
22. 余談4: 型システムを調査で便利だったもの 調査の時に全くわからない分野だったので、色々使ったりしたの ですが、本日リリースされたClaudeが一番わかりやすく、詳細 な調査結果を的確に出力していました。 ChatGPTよりも体験と精度はこの分野においては良かったの で、試してみると良いかなと思いました！