Rigorを入れろ今すぐに

Rigorを入れろ今すぐに

Install Rigor as soon as possible

pixiv Inc.

USAMI Kenta

2026-10-19 #afterkor2026_pixiv Kaigi on Rails 2026 After Event from ピクシブ

お前誰よ

• うさみけんた (@tadsan) / Zonu.EXE / にゃんだーすわん
• ピクシブ株式会社 Platform Div > WebTechnology Team PHPer
• 2012年末から現職、APIとかCIとかいろいろなところを見つめてきました
• 最近チームが再編されてインフラっぽい仕事もしてます
• Emacs PHP Modeを開発しています (2017年-)
• プログラミング言語にちょっとこだわりのある素人 (spcamp2010)

PHPには型を書きたい

2020年にRBSが導入されてから型は普及したか？

RBS? RBI?よくわからん…

PHPには型を書きたい

Rubyでも書きたい人は書けばいいと思っていた

型に関するみんなのお気持ち

• (シグネチャ) コードに無駄な記述を書きたい人は多くない
• →
• (型検査) 明記しなくても有用な静的検査ができるなら反対する人も少ない
• →
• (型推論) 型を書かなくても型推論で型が絞り込めるなら
• →

型に関するみんなのお気持ち

• (シグネチャ) コードに無駄な記述を書きたい人は多くない
• → 冗長だけど有用な記述をすべきか、という点で意見が分かれる
• (型検査) 明記しなくても有用な静的検査ができるなら反対する人も少ない
• → 偽陽性に煩わされるくらいなら検査なんか、するだけ無駄では？
• (型推論) 型を書かなくても型推論で型が絞り込めるなら
• → 型推論の結果が十分に絞り込まれていないと、却って冗長になる

導入が難しい…運用が難しい…概念が難しい…

難しいことをオブラートに包む

チームメンバーは型とか書かなくていい

AIエージェントにSKILLで判断させる

Rigorの思想

PHPStanで学んだ経験則

ユーザーは適切な設定を選べない

無理してmaxレベルを目指そうとする

PHPStan自体も発展途上なのでコードを曲げることになりかねない

偽陽性に対して過剰なコードを書かされる

プロジェクトの段階によって無視していいエラーも存在する

実行時にとりうる予測可能な状態

Rubyには構文上要求される型宣言はないのだからどう書いてもいいはず

RailsのCoCも人間が期待する型

型チェッカーが人間の期待に応えられないのが悪い

理屈上は任意の項に型をつけられる

プラグインの書き方は覚えなくていい

プログラムがとりうる作用は戻り値だけではない

実際に使っている人のフィードバックが欲しい！

もっというとマジレスが欲しい！

作り始めたばかりなので乞うご期待

Rubyに型を書きたくないのにDocに型を書かされる

ZARD

Yet another YARDoc.

pixiv Inc.

USAMI Kenta

2026-10-08 Proposals on Rails 2026

イタンジ株式会社 #roppongirb