Page 1
5分でわかるPHPの型システム
Introducing PHP's type system in 5 minutes
にゃんだーすわん @tadsan / USAMI Kenta うさみけんた
Page 3
PHPは簡単な言語だから上級テクニックなんてないよ笑
Page 4
PHPは簡単な言語だから
上級テクニックなんてないよ笑
言語が簡単なので素朴に書くとエントロピーが無限に増大する
Page 6
脆弱性 ゆるふわ 弱い型 動的クソザコ 型なし 意味不明 弱い自動変換 貧弱 Perlっぽい 適当
PHPについてのパブリックイメージ
Page 7
？
脆弱性 ゆるふわ 弱い型 動的クソザコ 型なし 意味不明 弱い自動変換 貧弱 Perlっぽい 適当
PHPについての認識は概ね間違い
Page 8
PHPの値は型タグと共用体の組に過ぎませんが何か？
Page 9
https://github.com/php/php-src/blob/php-8.1.0/Zend/zend_types.h
Page 10
https://github.com/php/php-src/blob/php-8.1.0/Zend/zend_types.h
Page 13
言語処理系の内部実装について「Rubyソースコード完全解説」が参考になる
Page 14
bool int float string array object null resource (callable iterable mixed)
JSONで扱える型 + 特殊な型がある
Page 15
無限の可能性を持つ
array
Pythonでのlist/dict RubyのArray/Hashを併せ持つ
Page 20
型宣言できない特殊型
resource
ファイルポインタなど(徐々にobjectに置き換え)
Page 24
ファイル単位でstrict_types=1指定で自動変換を抑制
Page 25
どちらにせよ受け取った関数の側ではintであることが保証される
Page 28
classとinterfaceをユーザー定義型として利用可能
Page 31
void型宣言で戻り値を返さないことを明示できる= その関数には副作用がある
Page 32
never型宣言でメソッドが正常終了しないことを宣言= 異常状態が後続に漏れない
Page 33
WSGI/Rack/PSGI相当のWebアプリケーションのI/Fも型宣言ベースで定義されている
Page 34
MIT License - Copyright (c) 2018 PHP-FIG https://github.com/php-fig/http-factory/blob/1.0.1/src/ResponseFactoryInterface.php
Page 36
型が実行時に保証される点でPHPは他の動的言語とは一線を画しているといえる
Page 39
動的言語を型なしと呼ぶのも別に誹謗中傷というわけではない
Page 40
PHPではURLクエリをグローバル変数から取り出せる
Page 44
PHPの組み込みの型機能ではどんなに型推論しても静的に型が定まらない
Page 45
arrayの中に何が
入ってるのかわからん
https://www.php.net/array_map
Page 46
几帳面に型宣言だけを追うと人間にはわかる型も機械は理解できない
Page 47
無限の可能性を秘めたarrayを放置するとコード全体のエントロピーが増大しプロジェクトは熱的死を迎える
Page 51
https://www.jetbrains.com/ja-jp/phpstorm/
Page 52
/** */ のブロックに型を書くarray{key: type} で構造体のような型を記述できる
array-shapes
Page 53
array<key, value>list<value> のように型を書ける
array<T>
Page 55
ツール互換性のために@phpstan- を付けてもよい
@template
Page 56
アプリケーションのエントロピーを減少させて快適に開発しよう
5分でわかるPHPの型システム #tfcon ｜にゃんだーすわん｜pixivFANBOX