最近 Python の型ヒントを書いたり書かなかったりしている。mypy などで型チェックして CI で落とす、みたいなことをするのがまじめにやるのがいいのだと思うのだけど、いろいろとあってまじめにやる気がしていない。 結局ライブラリ側が対応していないので…