46. PHP と型と静的解析ツール（sji_ch / tadsan）

@sji_ch さん、 @tadsan さんと PHP Foundation、PHP の静的解析ツールや型システムなどについて話しました。

• PHP Foundation
  • インフィニットループさんのブログ
  • バス係数
  • Nikita Popov さんすごい
  • それぞれできる貢献をしていきましょう
• PHP の静的解析
  • 静的解析とは
  • 静的解析ツールを使うきっかけ
  • Phan
  • PHPStan
  • Rector
  • baseline
  • Psalm
  • これからのプロジェクトにどれを採用するか
  • アノテーションの違い
  • 言語としての型表現と Doc コメントによる型表現
  • 導入してみて
  • 教育
  • 実行時の型検査は不要？
  • PHP の型システム
  • 入出力で安全なコードが書けてこその型宣言
  • PHP をより便利に使うための型
  • 将来の可能性を広げるための型付け
  • PSR-5
  • 静的型付き言語と PHP

Show notes

• PHP Foundation - Open Collective
• インフィニットループは PHP の継続的な発展を目指す The PHP Foundation に寄付をしました | 株式会社インフィニットループ技術ブログ
• The PHP Foundation への寄付の流れが来ている！ - Togetter
• PhpStormを使おう –高槻からは快速急行が早くなります #jbugj
• Home · phan/phan Wiki
• Continuous integration/Phan - MediaWiki
• Playground | PHPStan
• PHPStanで始めるPHPのための静的解析 #phperkaigi | メルカリエンジニアリング
• ピクシブ百科事典に静的解析のCIを導入した話 - pixiv inside
• プロジェクト内のライブラリをロードしつつ、ブラウザで動作するPHPStan Playground - pixiv inside
• framework/phpstan.neon.dist at 79952ace1625572f596f2fc83b28a519911da9da · laravel/framework
• Rector - Automated Way to Instantly Upgrade and Refactor any PHP code
• Psalm - a static analysis tool for PHP
• Supported Annotations - Documentation
• Conditional types - Documentation
• Supported Annotations - Documentation
• Assert Annotations - Documentation
• My incredible journey with PHP. Before I joined Vimeo in 2014 my PHP… | by Matt Brown | Medium
• allow using custome configuration directory for psalm by azjezz · Pull Request #248 · Roave/infection-static-analysis-plugin
• JetBrains/phpstorm-psalm-plugin: Psalm plugin for PhpStorm
• Phan静的解析がもたらす大PHP型検査時代 - pixiv inside [archive]
• WEB+DB PRESS Vol.123｜技術評論社
• We don’t need runtime type checks - stitcher.io
• php-standard-library/psalm-plugin: Psalm integration for the PHP Standard Library
• 型安全なHTTP入力を保証するParamHelper - pixiv inside
• PHP の型宣言は変数の型のチェックではない - Qiita
• 簡単なAPIをちょっとした工夫で完成度を高める話 - Qiita
• Conditional types で func_num_args() を使う例
• PSR-5: PHPDoc