mypy で Iterable[Optional[type]] から Iterable[type] を導出したい

テクノロジーカテゴリーの変更を依頼記事元:

ja.stackoverflow.com

1 userがブックマークコメント

記事へのコメント0件

注目コメント
新着コメント

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

リンクを埋め込む

以下のコードをコピーしてサイトに埋め込むことができます

<iframe marginwidth="0" marginheight="0" src="https://b.hatena.ne.jp/entry.parts?url=https%3A%2F%2Fja.stackoverflow.com%2Fquestions%2F52067%2Fmypy-%25E3%2581%25A7-iterableoptionaltype-%25E3%2581%258B%25E3%2582%2589-iterabletype-%25E3%2582%2592%25E5%25B0%258E%25E5%2587%25BA%25E3%2581%2597%25E3%2581%259F%25E3%2581%2584" scrolling="no" frameborder="0" height="230" width="500"><div class="hatena-bookmark-detail-info"><a href="https://ja.stackoverflow.com/questions/52067/mypy-%E3%81%A7-iterableoptionaltype-%E3%81%8B%E3%82%89-iterabletype-%E3%82%92%E5%B0%8E%E5%87%BA%E3%81%97%E3%81%9F%E3%81%84">mypy で Iterable[Optional[type]] から Iterable[type] を導出したい</a><a href="https://b.hatena.ne.jp/entry/s/ja.stackoverflow.com/questions/52067/mypy-%E3%81%A7-iterableoptionaltype-%E3%81%8B%E3%82%89-iterabletype-%E3%82%92%E5%B0%8E%E5%87%BA%E3%81%97%E3%81%9F%E3%81%84">はてなブックマーク - mypy で Iterable[Optional[type]] から Iterable[type] を導出したい</a></div></iframe>

プレビュー

規約違反を報告

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

mypy で Iterable[Optional[type]] から Iterable[type] を導出したい

地道な方法地道に下の通り書くと型チェックを通りました。 def remove_none_iterator(it: Iterator[Opt... 地道な方法地道に下の通り書くと型チェックを通りました。 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 Stop Iteration: return def remove_none(iterable: Iterable[Optional[int]]) -> Iterable[int]: it = iter(iterable) return remove_none_iterator(it) ただしこれだと返り値が必ずイテレーターになってしまいます。しかしそもそも filter() 関数は iterable を受け取ってイテレー