mypy で Iterable[Optional[type]] から Iterable[type] を導出したい
地道な方法 地道に下の通り書くと型チェックを通りました。 def remove_none_iterator(it: Iterator[Optional[int]]) -> Iterator[int]: while True: try: elem = next(it) while elem is None: elem = next(it) yield elem except StopIteration: return def remove_none(iterable: Iterable[Optional[int]]) -> Iterable[int]: it = iter(iterable) return remove_none_iterator(it) ただしこれだと返り値が必ずイテレーターになってしまいます。しかしそもそも filter() 関数は iterable を受け取ってイテレー
![mypy で Iterable[Optional[type]] から Iterable[type] を導出したい](https://cdn-ak-scissors.b.st-hatena.com/image/square/d7793397c604a8be47faba539ba5c0f21ea48c09/backend=imagemagick;height=288;version=1;width=512/https%3A%2F%2Fja.stackoverflow.com%2FContent%2FSites%2Fja%2FImg%2Fapple-touch-icon%402.png%3Fv%3D1cfb10b305ca)
Type annotation for classmethod returning instance
Stack Overflow for Teams is now called Stack Internal. Bring the best of human thought and AI automation together at your work. Try for free Learn more
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Python generics and subclasses
Type annotations for *args and **kwargs
How do I get a regex pattern type for MyPy
