Page 11
“We have things like protected properties.We have abstract methods. We have all this stuff that your computer science teacher told you you should be using.I don't care about this crap at all.”–Rasmus Lerdorf https://en.wikiquote.org/wiki/Rasmus_Lerdorf
Page 12
“PHPにはprotectedプロパティも抽象メソッドもありますよ。計算機科学の教授が「使え」と言ってるものは全部。そんなことはクソ興味ないですけど”–Rasmus Lerdorf
Page 13
脆弱性 ゆるふわ 弱い型 動的クソザコ 型なし 意味不明 弱い自動変換 貧弱 Perlっぽい 適当
PHPについてのパブリックイメージ
Page 14
脆弱性 ゆるふわ 弱い型 動的クソザコ 型なし 意味不明 弱い自動変換 貧弱 Perlっぽい 適当
PHPについての認識は概ね間違い
Page 16
型がついていない関数(PHP5)
function add($a, $b) {return $a + $b;}
Page 17
スカラー型宣言(PHP7)
int + intって本当にintなの？
function add(int $a, int $b): int {return $a + $b;}
Page 18
広い値をとるにはfloatが必要
ひとつの解決策ではあるが… 不必要にfloatを強制するのか
function add(float $a, float $b): float {return $a + $b;}
Page 19
PHPDocの型注釈(アノテーション)
あえて型宣言を省略する
/*** @param int|float $a* @param int|float $b* @return int|float*/function add($a, $b) {return $a + $b;}
Page 20
ユニオン型宣言 (PHP8.0)
function add(int|float $a, int|float $b): int|float {return $a + $b;}
Page 22
ユニオン型宣言 (PHP8.0)
intとfloat以外は絶対にありえない
function add(int|float $a, int|float $b): int|float {return $a + $b;}
Page 23
PHPDocの型注釈(アノテーション)
ランタイムにとってはただのコメント(口約束)
/*** @param int|float $a* @param int|float $b* @return int|float*/function add($a, $b) {return $a + $b;}
Page 25
いまやPHPは静的型付きと言っても過言ではない(本当か…？)
Page 29
Bookクラスは複数の著者を持つ
arrayにすることで複数であることを表現
class Book{function __construct(private array $authors) {// 何も書かなくてもプロパティに代入される
Authorクラスの情報が減ってる…
}}
Page 31
PHPDocの帰還
配列の形状はコメントで書く
class Book{function __construct(/** @var list<Authors> */private array $authors) {// 何も書かなくてもプロパティに代入される
}}
Page 40
実装するルールが対象とする構文木の
Rule拡張
ノードクラス名構文木を受け取ってエラーを配列として返す
Page 42
メソッド呼び出しのクラス名
Type-Specifying拡張
実装する拡張が対象のメソッド呼び出しかどうか構文木を受け取って型を返す
Page 46
ParamHelperTypeSpecifyingExtension
