mypy駆動リファクタリング - Qiitaã¯ã˜ã‚ã« Pythonã¯å‹•çš„型付ã‘ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã™ã€‚ãã®ãŸã‚ã€å®Ÿè¡Œæ™‚ã«åž‹ã«é–¢ã™ã‚‹ãƒã‚§ãƒƒã‚¯ãŒå®Ÿè¡Œã•ã‚Œã¾ã›ã‚“。ãã®çµæžœã€â€œå‹•çš„型付ã‘ã§ã‚ã‚‹ãŒã‚†ãˆã«å•é¡ŒãŒãªã„処ç†â€ãŒå˜åœ¨ã—ã¦ã—ã¾ã„ã¾ã™ã€‚ãれらã¯ã€ã‚る時点ã§å¤–部ã‹ã‚‰è¦³æ¸¬ã•ã‚Œã‚‹æŒ¯ã‚‹èˆžã„ã«å•é¡ŒãŒãªã‹ã£ãŸã¨ã—ã¦ã‚‚ã€ãƒªãƒªãƒ¼ã‚¹ã‚’é‡ãã¦ã„ãã†ã¡ã«ã«ä¸å…·åˆã¨ã—ã¦é¡•åœ¨åŒ–ã™ã‚‹å¯èƒ½æ€§ãŒã‚ã‚Šã¾ã™ã€‚ ãã®ã‚ˆã†ãªå‡¦ç†ã«å¯¾ã—ã¦ã€mypyã«ã‚ˆã‚Šã‚³ãƒ¼ãƒ‰ã«ãŠã‘るリファクタリングをã™ã‚‹ã¨è‰¯ã„箇所を特定ã§ãã¾ã™ã€‚mypyã¯Pythonã§é™çš„åž‹ãƒã‚§ãƒƒã‚¯ã‚’実行ã™ã‚‹ãƒ„ールã§ã™ã€‚ 例ãˆã°ã€ä»¥ä¸‹ã«è©²å½“ã™ã‚‹ã‚ˆã†ãªã€ã‚³ãƒ¼ãƒ‰ã®æ¤œçŸ¥ãŒå¯èƒ½ã§ã™ã€‚ 型ヒントã®ä¸è¶³ åž‹ã®çŸ›ç›¾ ã¤ã¾ã‚Šã€mypyã®å‡ºåŠ›ã«åŸºã¥ãリファクタリングã§ã¯ä»¥ä¸‹ã®åŠ¹æžœãŒæœŸå¾…ã•ã‚Œã¾ã™ã€‚ 処ç†ã®å†…容を型ヒントã§è£œè¶³ã™ã‚‹ã“ã¨ã«ã‚ˆã‚‹å¯èªæ€§ã®å‘上（潜在的ãªä¸å…·åˆã‚’埋ã‚込むå¯èƒ½æ€§ã®è§£æ¶ˆï¼‰ åž‹ãŒçŸ›ç›¾ã—ã¦ã„る処ç†ã‚’ä¿®æ£ã™ã‚‹ã“ã¨ã«ã‚ˆã‚‹å …牢性ã®å‘上（
8 Levels of Using Type Hints in Python
実践ï¼ï¼Python型入門(Type Hints) - Qiita
Mypy 㨠Pyright ã®è§£æžæ‰‹æ³•ã¨åž‹æƒ…å ±ã®æ¯”較 | フューãƒãƒ£ãƒ¼æŠ€è¡“ブãƒã‚°
ã€ç«¶ãƒ—ãƒã€‘Python使ã„ãŒRustを「完全ã«ç†è§£ã™ã‚‹ã€ã¾ã§ã®Tips - Qiita
TypeScript 㧠querySelector メソッドを使ã†ã¨ãã«åž‹å¼•æ•°ã‚’指定ã™ã‚‹ - Hatena Developer Blog
Pythonã«åž‹ã‚¢ãƒŽãƒ†ãƒ¼ã‚·ãƒ§ãƒ³ã‚’自動ã§ä»˜ä¸Žã™ã‚‹
00typed.py
pythonã§**kwargsã«ã‚‚ã†å°‘ã—ç´°ã‹ã型を付ã‘ãŸã„ - podhmo's diary
netaddr.IP: a new IP address type for Go
今ã‹ã‚‰å§‹ã‚る型安全 Python / Start Python Type Hints
Adding Sorbet to a Rails Monolith
Ruby 3ã®é™çš„解æžæ©Ÿèƒ½ã®RBSã€TypeProfã€Steepã€Sorbetã®é–¢ä¿‚ã«ã¤ã„ã¦ã®ãƒŽãƒ¼ãƒˆ - クックパッド開発者ブãƒã‚°
実用 Generics: Python ã® itertools ã‚’ Go 2 ã«ç§»æ¤ã—ã¦ã¿ãŸ - Zopfcode
Haskell: The Bad Parts, part 2
Pythonã§åž‹ã‚’極ã‚ã‚‹ã€Python 3.9対応】 - Qiita
Go 脱åˆå¿ƒè€…ã¸ã®é“
Python 3.9 時代ã®åž‹å®‰å…¨ãª Pythonã®æ¥µã‚æ–¹ / Mastering Type Safety in Python 3.9 Era
Sorbetを使ã£ãŸé™çš„型付ã‘Ruby - Qiita
Deep Dive Guide Into Python Type Hints and Type Checks
{{#tags}}- {{label}}
{{/tags}}