Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Python型チェッカー ty を使ってみた話
Search
nogawanogawa
May 30, 2025
1
1.2k
Python型チェッカー ty を使ってみた話
nogawanogawa
May 30, 2025
Tweet
Share
More Decks by nogawanogawa
See All by nogawanogawa
Devinを導入してドキュメンテーションで変わったこと
nogawanogawa
2
94
相互推薦システム開発の舞台裏と今後の展望
nogawanogawa
2
320
コサイン類似度のいろんな書き方
nogawanogawa
4
1.4k
機械学習で使用しているGCSの料金を激減させた話
nogawanogawa
2
5.2k
How to Index Item IDs for Recommendation Foundation Models
nogawanogawa
0
530
CommonLitコンペで学んだこと
nogawanogawa
2
2.2k
Featured
See All Featured
Fantastic passwords and where to find them - at NoRuKo
philnash
51
3.3k
GitHub's CSS Performance
jonrohan
1031
460k
Unsuck your backbone
ammeep
671
58k
Product Roadmaps are Hard
iamctodd
PRO
53
11k
The MySQL Ecosystem @ GitHub 2015
samlambert
251
13k
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
29
2.6k
Faster Mobile Websites
deanohume
307
31k
Speed Design
sergeychernyshev
30
980
Making the Leap to Tech Lead
cromwellryan
134
9.3k
Building Better People: How to give real-time feedback that sticks.
wjessup
367
19k
The Art of Programming - Codeland 2020
erikaheidi
54
13k
GraphQLとの向き合い方2022年版
quramy
46
14k
Transcript
© 2025 Wantedly, Inc. Python型チェッカー ty を 使ってみた話 みんなのPython勉強会#114 May.30
2025 - @nogawanogawa
© 2025 Wantedly, Inc. 自己紹介 - 角川拓也 - X: @nogawanogawa
- 所属 - ウォンテッドリー株式会社 データサイエンティスト - ex. - ITコンサル @コンサル会社 - システムエンジニア @金融系SIer
© 2025 Wantedly, Inc. Pythonとデータ型
© 2025 Wantedly, Inc. Pythonとデータ型 - Pythonは動的型付け言語 - 変数の中に型情報が埋め込まれており、データ型を指定しなくても動作可能 -
「小さなプログラムでは動的型付けはすばらしい。しかし、大規模なプログラムではもっと 規律の取れたアプローチが必要である」 - データ型は保守性の高いコードの大黒柱 - Pythonでは型アノテーションによって型ヒントを付与することが可能 - 実行時には型ヒントは全く利用されないものの、ロバストなコードベースを構築するには型 ヒントは非常に有効 参考:『ロバストPython ―クリーンで保守しやすいコードを書く』オライリー・ジャパン( 2023)
© 2025 Wantedly, Inc. Python型チェッカー - Python型チェッカーが広く使われている - mypy -
Pyre - Pyright - PyType - … - コードベースが巨大になると型チェックの時間が無視できなくなるとの指摘 がある - コードの差分のみをチェックするなど、通常高速化の工夫が取られている - Python型チェッカーでは 高速化が大きなポイントになっている
© 2025 Wantedly, Inc. tyについて
© 2025 Wantedly, Inc. ty - Astral製のPython型チェッカー - ruff や
uvを開発している会社が開発 - 開発コードネームはRed-Knotらしいです - 特徴 - まだプレビュー版なのでプロダクションで使用する準備は整っていないと記載あり - 処理速度が速い - salsaというrust-analyzerでも使われているオンデマンド計算のためのフレームワーク を採用 参考: https://github.com/astral-sh/ty
© 2025 Wantedly, Inc. ty - ty check [チェック対象] で実行
- 型アノテーションが間違っている場合などには、違反箇所を教えてくれる 参考: https://github.com/astral-sh/ty
© 2025 Wantedly, Inc. 速度比較 - 簡単な速度比較をしてみる - mypyの10倍近く高速化 -
mypyはキャッシュが効いているはずだがそれでも tyのほうが圧倒的に速い この事例では 10倍ほど高速化 参考: https://www.nogawanogawa.work/entry/ty
© 2025 Wantedly, Inc. • 保守性の高いPythonコードベースには型アノテーションが重要と言われる ◦ そのためにPython型チェッカーが広く使われている ◦ 型チェッカーのポイントの一つとして速度が注目されてきた
• Python型チェッカー ty ◦ rustのsalsaフレームワークをベースにしており非常に高速 • 速度比較 ◦ 簡易実験してみたところ、mypyより高速だった まとめ