PHPカンファレンス名古屋2025
レギュラートーク（30分）
型がつくってどういうこと？ 動的言語の型付けと真剣に向き合う
うさみけんた
tadsan
近年、動的型のプログラミング言語(型なしとも呼ばれる)を実行せずに検査してソースコード上の問題を発見する試みが盛んです。
型なし言語に型をつけるとは撞着語法もいいところですが、TypeScriptをはじめとして、Ruby、Python、そしてPHPにおいてはPHPStanというツールが普及しつつあります。
今回のトークでは主にPHPStanが提供する型機能について、以下のような内容をお話しします。
- なぜ動的言語の型付けはうまくいかないのか
- PHPStanはどのように型をつけるのか
- どうすればPHPStanを活用して型をつけられるのか