タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
mypy plugin に入門して社内 OSS である gokart を型安全にしてみた - エムスリーテックブログ
今回は mypy plugin を利用して、型安全に対応していないライブラリを型安全にする方法を紹介します！ 具体的にはエムスリーが開発する機械学習パイプラインツールである gokart を対象とし、mypy plugin を用いてどのように型の課題を解消したかについて解説します。 対象読者としては、既に gokart を使ってくださっている方はもちろんですが、dataclass や Pydantic がどのように型を担保しているかについて興味がある方も想定しています。 github.com gokart について gokart における型の問題 クラス変数をハックするツールである mypy による型チェックする上での課題 mypy plugin を自作してみる 静的解析時のイベントにフックする Plugin クラス 構文解析の結果を上書きする mypy API mypy plugin 開
RubyKaigi Takeout 2021 に参加して、typeprof などをフルに利用するには LSP を使えるようにしておく必要があるな、と気づきました。 思い立ったが吉日ということで、自分の vim 環境を ALE から LSP に乗り換えることにしました。 その過程で、mypy による lint を有効にするのに苦労したので、備忘録としてメモを残します。 前提 python 使い ALE は lint 用に使っていて、formatter としては使っていない flake8, isort, mypy を linter として使っている vim の plug-in manager には dein を使っている LSP を有効にする 本体である vim-lsp を使います。 細かい設定をやってくれる mattn/vim-lsp-settings も合わせて入れます。 # LSP (L
mypyで静的型チェックを導入する - け日記
仕事で既存のコードへmypyの導入を試みる機会がありましたので、使い方とtipsの備忘録としてまとめます。 mypyとは インストール 型チェックの実行 Tips: 型チェック対象を限定する 設定 Tips: スタブが無いパッケージのエラーは無視させる コードの修正 Tips: Unionでの型エラー Tips: 特定箇所の型チェックエラーを無視したい まとめ mypyとは mypyはPythonで静的型チェックを行うライブラリです。型はtypingで定義します。 ドキュメント: https://mypy.readthedocs.io/en/stable/index.html GitHub: https://github.com/python/mypy PyPI: https://pypi.org/project/mypy/ インストール typingと異なり、標準ライブラリではないので、
「mypy」を使って、Pythonの型チェックをしてみよう HOME 社内ブログ 「mypy」を使って、Pythonの型チェックをしてみよう 以前のブログで、プログラミング言語の動的型付けについて紹介しました。動的型付けは、型を記載する必要がありません。そのため、プログラミング初学者にとって敷居が低いというメリットがあります。ただし、型の記載がないがゆえに、安全性が低いという弱点もあります。そこで今回は、動的型付け言語であるPythonで、型チェックを行う方法を試してみようと思います。なお型チェックには、「mypy」というライブラリを使います。 mypyとは mypyとは、Pythonのコードを型チェックできるライブラリです。ここでいう「型チェック」とは、指定した型通りの値が変数に代入されているか、引数が渡されているか、戻り値になっているか、などを静的に検査することです。mypyはサードパ
はじめにMypy や Pyright は Python の静的解析ツールとして有名ですが、これら二つに解析情報でどのような違いがあるのかわからなかったので、実験することにしました。Pyright は Mypy に比べて後発のプロジェクトですが、性能面で優れているなどとして徐々に注目を集めています。 https://github.com/python/mypy https://github.com/microsoft/pyright 解析以外での比較はこちらが参考になります。 https://qiita.com/simonritchie/items/7492d1c1a3c13b2f27aa#%E4%BA%8B%E5%89%8D%E3%81%AEpyright%E3%81%AE%E8%BF%BD%E5%8A%A0 実験概要Mypy、Pyright はともに reveal_type(expr)
はじめまして！今年マイクロアドに入社してサーバーサイドエンジニアとしてバッチ開発を担当している根本( id:realyutanemoto )といいます！ 今回は、マイクロアドのバッチ開発で利用している静的コード解析ツールのmypyについてのご紹介です。 はじめに バッチ開発で使っているリンター・フォーマッターなど yapf mypy flake8 最強の型チェッカーmypy mypyで型チェックしよう 最近のmypy オプションの追加 エラーコードの有効化/非有効化 特定のファイル/ディレクトリをビルドから除外 スタブパッケージの自動インストール 確認不要のスタブパッケージの自動インストール Pythonのサポート対象バージョンの変更 stdlibのモジュール以外に対してのスタブをmypyが提供しなくなる メソッドや変数の型範囲を狭めやすくなった type(x) を用いた型範囲の決定 Ty
Type hints are an essential part of modern Python. Type hints are the enabler for clever IDEs, they document the code, and even reduce unit testing needs. Most importantly, type hints make the code more robust and maintainable which are the attributes that every serious project should aim for. At Wolt we have witnessed the benefits of type hints, for example, in a web backend project which has 100
こんにちは MLエンジニアとMLOpsエンジニアを兼任している押条です。 CADDi の機械学習プロジェクトでは Python がよく使われています。 本番環境にリリースするコードのlinter や formatter、test に関しては、 CI で自動的に適用し運用できていました。 一方、型注釈については開発担当者に一任されており、プロジェクトごとにあるものとないものと混在していました。 採用を強化してチームを拡大していこうという動きもあり、開発に携わる人が増える見込みがあります。 そのような背景から、型注釈による既存コードの可読性の向上の重要性が増してきました。 そこで現行の mypy の設定の読み合わせと mypy 設定の修正を実施しました。 その時の議論の内容と修正後の設定をご紹介しようと思います。 目次 現行ルールがどのようなものか認識合わせする 現在のプロダクションコードを参
はじめに Pythonは動的型付けのプログラミング言語です。そのため、実行時に型に関するチェックが実行されません。その結果、“動的型付けであるがゆえに問題がない処理”が存在してしまいます。それらは、ある時点で外部から観測される振る舞いに問題がなかったとしても、リリースを重ねていくうちにに不具合として顕在化する可能性があります。 そのような処理に対して、mypyによりコードにおけるリファクタリングをすると良い箇所を特定できます。mypyはPythonで静的型チェックを実行するツールです。 例えば、以下に該当するような、コードの検知が可能です。 型ヒントの不足 型の矛盾 つまり、mypyの出力に基づくリファクタリングでは以下の効果が期待されます。 処理の内容を型ヒントで補足することによる可読性の向上（潜在的な不具合を埋め込む可能性の解消） 型が矛盾している処理を修正することによる堅牢性の向上（
flake8、black、isort、mypyをVS Code上で使用する - delhi09の勉強日記
これまでPythonの各種コードチェッカー・フォーマッターの使い方をみてきたので、次にVS Codeとの連携方法について書く。 過去の記事はこちら kamatimaru.hatenablog.com kamatimaru.hatenablog.com kamatimaru.hatenablog.com flake8 ・Lint機能が有効になっていることを確認する。 「Python › Linting: Enabled」にチェックが入っていることを確認する。 ・デフォルトではPylintが有効になっているのでOFFにする。 「Python › Linting: Pylint Enabled」のチェックを外す。 ・flake8を有効にする。 「Python › Linting: Flake8 Enabled」をチェックする。 ・【少しハマったこと】「Linter flake8 is not i
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ようやく vim-lsp に乗り換えた話 (pylsp-mypy で苦労した話) - Qiita
「mypy」を使って、Pythonの型チェックをしてみよう
Mypy と Pyright の解析手法と型情報の比較 | フューチャー技術ブログ
最強のPython型チェッカーmypy - MicroAd Developers Blog
Professional-grade mypy configuration
mypy 設定ファイルの読み合わせと修正を実施しました - CADDi Tech Blog
mypy駆動リファクタリング - Qiita
www.webcartop.jp
comic-action.com
book.dmm.co.jp
ja.wiktionary.org
news.yahoo.co.jp
l.smartnews.com