tadsan's slide deck

Appearance

PHPMatsuri Reboot in Hackone

公開日:

by USAMI Kenta@tadsan

に神奈川県足柄下郡箱根町の箱根某所で開催された『PHPMatsuri Reboot in Hackone』でライトニングトークとして発表しました。

イベントシリーズ: PHPMatsuri
#phpmatsuri
Download PDFPDF

スライドテキスト

Page 1

PHPMatsuri Reboot

in Hackone

成果発表LT

pixiv Inc.

USAMI Kenta

2026-11-08 #phpmatsuri PHPMatsuri Reboot in Hackone

Page 2

先週新潟でプロポーザル書いてたんですよ

Page 3

PHPMatsuri Reboot in Hackone 3ページ

Page 4

PHPMatsuri Reboot in Hackone 4ページ

Page 5

PBTというものがある

Page 6

PHPMatsuri Reboot in Hackone 6ページ

Page 7

めちゃくちゃいい本

Page 8

ちょっと厚い

Page 9

この本はErlang/Elixirという言語で書かれている

Page 10

元ねたはHaskellのQuickCheck

Page 11

型とか満たすべき性質を宣言するとランダムな値でテストしてくれる

Page 12

意外な値でテストが失敗したりして穴が見つかると嬉しい

Page 13

PHPでもやりたい

Page 14

PHPMatsuri Reboot in Hackone 14ページ

Page 15

あるんだけど

Page 16

PHPMatsuri Reboot in Hackone 16ページ

Page 17

型みたいなのを使うなら型 + #[Attr]で宣言できてよくない？

Page 18

ということで作ってた

Page 19

PHPMatsuri Reboot in Hackone 19ページ

Page 20

PHPMatsuri Reboot in Hackone 20ページ

Page 21

これはPHPで既に書かれてる

Page 22

これはPHPで既に書かれてる

Page 23

これはPHPで既に書かれてる

実装に書くと勝手にテスト

Page 24

これはPHPで既に書かれてる

実装に書くと勝手にテスト

Page 25

これはPHPで既に書かれてる

実装に書くと勝手にテスト

テストの事情が漏れ出てる

Page 26

いったんよくあるPBTを満たせるように

Page 27

AIがまだ常識に囚われてる気がする

Page 28

俺たちの戦いはこれからだ！

Page 29

ちなみに関西には別のテーマが採択されました

関連リンク

Page 3

Page 4

Page 6

Page 16

スライド一覧に戻る
© 2025 USAMI Kenta (@tadsan)