交叉型
英語:
intersection types
日本語
:
交叉型
(こうさがた) または
交差型
(読みは同じ)、
インターセクション型
ユニオン型
(OR)に対応するANDの意味を持つ型。
PHPStanの型
として実装され、PHPDocに記述することで
静的解析器
で検査できる型として定着した。
PHP処理系
にも
PHP 8.1
で
Pure intersection types
として実装され、
PHP 8.2
では
DNF型
として複雑な型を記述できるようになった
PHPStanによる提案
PHP界隈では2017年にPHPStan作者のOndřej MirtesがPHPStan 0.9に実装しブログで紹介したことで定着した。
Union Types vs. Intersection Types | PHPStan
PhpStorm 2018.3 EAP 183.2635.12 | The PhpStorm Blog