Pythonに漸進的に型をつける

2025/10/22
https://findy.connpass.com/event/371749/
『Pythonの多様性 深掘りLT Night 』〜バックエンドから機械学習まで〜

Transcript

1. 2025.10.22 NEALLE Pythonに漸進的に型をつける 
 1 株式会社ニーリー 野呂 有我 
 『Pythonの多様性 深りLT Night 』
 〜バックエンドから機械学習まで〜

2. 1｜自己紹介 2 氏名 所属 経歴 野呂 有我 ／ Yuga NORO 
 株式会社ニーリー
 プラットフォーム本部 アーキテクチャチーム 
 ・大学院時代に友人と楽譜販売サービスを立ち上げ
 ・その後、SIer企業に参画
 ・副業としてニーリーでいくつかの開発に携わる
 ・フリーランスを経て、ニーリーへ

3. 3 2｜プロダクト紹介
4. Park Direct for Business 法⼈向け⽉極駐⾞場の探し‧契約‧⽀払い‧管理サービス 3｜プロダクト紹介
5. 4｜プロダクト紹介 5 • 全てのサービスで、バックエンドにPython/Djangoを採用
 
 • DRFを使ってAPIを高速開発！
 
 • 少しずつオニオンアーキテクチャに寄せていっている
 
 
 
 登壇資料リンクはこちら→
 

6. 弊社がPythonを使っている理由 
 5｜弊社が Pythonを使っている理由 6 • ところで、今日は 多様性がテーマです
 • Pythonを使っている会社には、 
 そういうパターンもあるんだな〜と暖かい目で見ていただけると幸いです 
 • そう、その理由は…
 

7. 6｜弊社が Pythonを使っている理由 7 ベトナムの某社が、安く早く作ってくれたから 

8. 7｜弊社が Pythonを使っている理由 8 • 市場を把握しきれていないスタートアップにとって、 早く安く作ってくれる 、
 というのは非常に大事 
 • CTO三宅も、この選択は正しかった と振り返る
 • とはいえ、ローンチ後の拡張時に設計、実装上の問題が露呈しがち 
 • 特に弊社が苦しんだのは、型ヒントが全くついていなかったこと 
 • というわけで…

9. 8｜Pythonに型をつけていく 9 • ひとまず関数から型ヒントを付けていく 
 • Pylanceで静的型チェックを実施 
 • ただ、型を意識せずに書かれているため、 
 普通に型ヒントを書いていくだけではケアしきれないケースも出てくる 
 • 例えばこういうやつ↓ 
 Pythonに型を付けていく 

10. 9｜Pythonに型をつけていく 10 • objは… ◦ dateというプロパティを持っているらしい ◦ dateというプロパティはyearやmonth, dayというプロパティと replaceというメソッドを持っているっぽい • この関数を使っているところを全部調べて、渡されているインスタンスに ABCを継承させて 回ることもできないでもないが、手間にリターンが見合わない …
11. 10｜Pythonに型をつけていく 11 • そこで、Protocol で部分的に構造的部分型を導入する！ 
 • 最初から公称型を使ってドメインを表現するようなポリシーの場合には使い所はあまりないが、 
 漸進的にやる場合にはこの柔軟性が結構ありがたい 

12. 11｜Pythonに型をつけていく 12 • しかもこのProtocol, デコレータを付与すること で、実行時に型match 可能になる
 • 構造的部分型を採用していて、 
 実行時に型matchできる言語、レア！ 
 • 実はPythonは強い型を持つ言語…！
 • プロパティの増減があったり、 
 プロパティの有無を判定するif文がいっぱいあ るところをこれで置き換えていける 
 ※上のコードはイメージですが、 
 実際にプロダクトコードで構造的部分型を 
 matchさせているところはあります
13. 12｜Pythonの多様性 13 • 動的型付け でスピーディに初期プロダクトを開発 
 • 構造的部分型 で徐々に舗装
 • その上で抽象を見つけて公称型に切り替える事でドメインロジックを確定させていく 
 • 柔らかく作って堅くしていける！
 • フェーズに合わせてポリシーを切り替えられる 
 　　　　　　懐の広い言語、Python