kitagry https://blog.hatena.ne.jp/kitagry/ エムスリーテックブログ https://www.m3tech.blog/ gokart python AI・機械学習チームの北川(@kitagry)です。 この記事はAI・機械学習チームブログリレー1日目の記事です。 この記事では、gokartの型チェックをmypy pluginからpyrightやpyrefly, tyなどのモダンな型チェッカーへ移行するために、SpotifyのluigiやFacebookのpyreflyといったOSSにコントリビュートした経緯を紹介します。 Pythonの__new__やDescriptor Protocol(__get__/__set__)など、型システムの深い部分にも触れていきます。 結果的に社内のプロダクトについてはmypyで1分10秒ほどかかっていま… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.m3tech.blog%2Fentry%2F2026%2F04%2F01%2F170000" title="gokartに型を入れるためにspotifyやfacebookのOSSにコントリビュートした話 - エムスリーテックブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/m/m3tech/20260401/20260401170009.jpg Hatena Blog https://hatena.blog 2026-04-01 17:00:00 rich https://www.m3tech.blog/entry/2026/04/01/170000 1.0 100%