日誌 2023/07/18 (火)

セミの鳴き声がやばすぎて目が覚めた。クマゼミのシャイシャイ響く声は本人たちにはどう受け取られてるんやろか？あそこまで爆音轟かせる必要があるのかと問いたい。 Starlette の typing まわりでどーにもこーにも mypy が通らない部分があって、友達に壁当てに付き合ってもらった。なんとなく掴んだものとしては、コード上で定義されてる typing だとドキュメント通りにでは通らないこと。ホントは深掘りして issue なり pull request 出すのが良いんだろ