型があると嬉しい〜って本当？？

Transcript

1. が ͳʹ͔ͷษڧձͱ͔͕͋Δ༁Ͱ͸ͳ͍ Hideki Kinjyo GitHub: o0h / Twitter: @o0h_
2. ࣗݾ঺հ / GitHub: @o0h / Twitter: @o0h_ FW CakePHP 
3. Πϯτϩ 
 PHP PHP 
 
4. ( ) https://fortee.jp/phpcon-2021/proposal/6cd22f6c-9caa-432f-930c-9e62f512d59d 
5. 
7. https://www.php.net/manual/ja/language.types.intro.php 
8. https://www.php.net/manual/ja/language.types.intro.php PHP ( ) PHP 
9. https://www.php.net/manual/ja/language.types.intro.php 10000 3 
10. https://www.php.net/manual/ja/language.types.intro.php = 
11. https://www.php.net/manual/ja/language.types.intro.php ( ) Web 
12. shin1x1͞Μͷൃදʮ੍໿ͷྗʯ  https://speakerdeck.com/shin1x1/restricting-states
13. shin1x1͞Μͷൃදʮ੍໿ͷྗʯ  https://speakerdeck.com/shin1x1/restricting-states
14. shin1x1͞Μͷൃදʮ੍໿ͷྗʯ  https://speakerdeck.com/shin1x1/restricting-states
15. shin1x1͞Μͷൃදʮ੍໿ͷྗʯ  https://speakerdeck.com/shin1x1/restricting-states
16. t-wada͞Μͷൃදʮ༧๷ʹউΔ๷ޚͳ͠ʯ  https://speakerdeck.com/twada/growing-reliable-code-phperkaigi-2022
17. t-wada͞Μͷൃදʮ༧๷ʹউΔ๷ޚͳ͠ʯ  https://speakerdeck.com/twada/growing-reliable-code-phperkaigi-2022
18. ܕΛ͚ͭΔͧʂʂͷϞνϕʔγϣϯ ( ) 
19. :
20. PHPͷܕએݴ PHP php.net https://www.php.net/manual/ja/language.types.declarations.php 
21. ( ) 
22. int $l, $r int int NULL DB (= ) 
23. int int int int ( ) 
24. PHP7 ( )  ࢀߟ
    
 ݫີͳܕ෇͚ 
 IUUQTXXXQIQOFUNBOVBMKBMBOHVBHFUZQFTEFDMBSBUJPOTQIQMBOHVBHFUZQFTEFDMBSBUJPOTTUSJDU
25. خ͍͠Ͱ͔͢ʁ int t-wada 
26. خ͍͠Ͱ͔͢ʁ = (DB HTTP ) etc ( ) = int => 
27. int / $response->getBody() $body- >eof() string, bool, Response, Stream  ࢀߟ
    
 IUUQTHJUIVCDPNTMJNQIQ4MJNCMPC4MJN 3FTQPOTF&NJUUFSQIQ
28. Interface  ࢀߟ
    
 IUUQTHJUIVCDPNTMJNQIQ4MJNCMPC4MJN 3FTQPOTF&NJUUFSQIQ StreamInterface bool int: 0 
 (Content-Length ) int int string bool
29. ܕͱͷ෇͖߹͍ํ ( ) Interface strict_types=1 private public 
30. :
31. ΨϯΨϯܕએݴΛ͢Δ͜ͱͷऑ఺ͱ͔ PHPDoc PHP PHP 
32. ੩తղੳπʔϧΛ࢖͓͏ / PHPStan https://phpstan.org/ PHPStan scans your whole codebase and looks for both obvious & tricky bugs. Even in those rarely executed if statements that certainly aren't covered by tests. ( ) 
33. ੩తղੳπʔϧΛ࢖͓͏ / Psalm https://psalm.dev/ Psalm is a static analysis tool that attempts to dig into your program and fi nd as many type-related bugs as possible. PHPStan 
34. ੩తղੳπʔϧΛ࢖͓͏ / PhpStorm PHP PHPStan Psalm lint ( ) 
35. PHPStan
36. = CI  ࢀߟ
    
 IUUQTQIQTUBOPSHSGDGBDGCDCEGC
37. PHPDoc @param / @return  ࢀߟ
    
 IUUQTQIQTUBOPSHSGFFECEEEDG
38. : `key-of- <***>` `value-of-<***>` ( )  ࢀߟ
    
 IUUQTQIQTUBOPSHSCDGDFCBCCBBEE
39. : int<min, max> `int`  ࢀߟ
    
 IUUQTQIQTUBOPSHSEFFGDDCCBEEFE
40. : (key, value ) iterable array mixed  ࢀߟ
    
 IUUQTQIQTUBOPSHSEG ff EDFBBBFD
41. : DTO  ࢀߟ
    
 IUUQTQIQTUBOPSHSDCFGGCGGGFE
42. ৭ʑͳܕͷදݱ : https://phpstan.org/writing-php- code/phpdoc-types 
43. PHPStan
44. Πϯετʔϧ͢Δ 
45. ઃఆϑΝΠϧΛઃஔ͢Δ  https://phpstan.org/con fi g-reference
46. ࣮ߦ͢Δ 
47. ( OK)
48. ಋೖ࣌ʹ͓֮͑ͯ͘ͱྑͦ͞͏ͳ֓೦ Error Rule/RuleSet Rule RuleSet Rule Rule level PHPStan Ruleset 0 9(max) level 
49. Rule Levelͷྫ  https://github.com/phpstan/phpstan-src/blob/1.10.25/conf/con fi g.level6.neon
50. ಋೖ࣌ʹ͓֮͑ͯ͘ͱྑͦ͞͏ͳ֓೦ Baseline ( ) Error `phpstan analyze generate-baseline` Error ignoreErrors con fi g 1 ( )Error Baseline ignoreErrors 
51. Baselineͷྫ(CakePHP)  https://github.com/cakephp/cakephp/blob/4.4.15/phpstan-baseline.neon
52. PHPStanͷ΍͍͞͠ಋೖʹ޲͚ͯ PJ Level OK Baseline PHPStan ignoreErrors( Baseline ) Error 
 (cf: https://phpstan.org/user-guide/ignoring-errors#reporting-unused- ignores) 
53. PHPStanͷ΍͍͞͠ಋೖʹ޲͚ͯ PJ Level CI 5 6 
54. PHPStanͷ΍͍͞͠ಋೖʹ޲͚ͯ 連 Error etc 
55. ΋ͬͱڧྗͳ׆༻ʹ޲͚ͯ PHPStan https://phpstan.org/writing-php-code/phpdoc-types https://phpstan.org/con fi g-reference https://phpstan.org/user-guide/extension-library OSS 
56. ͱͯ΋ࢀߟʹͳΔࢿྉͨͪ PHPStan #phpcon_okinawa pixivFANBOX 
 https://tadsan.fanbox.cc/posts/4348669 #phpcon_okinawa pixivFANBOX 
 https://tadsan.fanbox.cc/posts/2558149 level=0 PHPStan(Larastan) - Shin x Blog 
 https://blog.shin1x1.com/entry/getting-stated-with-phpstan CI / Great static analysis with CI - Speaker Deck 
 https://speakerdeck.com/oogfranz/great-static-analysis-with-ci