PHP で型付のローカル変数を定義するライブラリを作った - Qiita

use function Typist\int; use function Typist\string; // int 型と string 型のローカル変数を定義 $_ = [ int($hoge_id, 1), string($hoge_name, 'name'), ]; // 渡した値で初期化される assert(1 === $hoge_id); assert('name' === $hoge_name); // int 型の変数へ文字列を突っ込もうとすると TypeError $hoge_id = 'a'; // string 型の変数へ int の値を突っ込もうとすると TypeError $hoge_name = 1; どうなってんの？ PHP 7.4 で型付プロパティが導入された。 こいつには面白い性質があって、ある変数が型付プロパティと同じものを参照している間、その変数は同じ

[n314]

型だけチェックするなら、DDDっぽく単一の値を取る class HogeId とか class HogeName とかにして意味も付加するかなあ。

[uzulla]

楽しい