Python3の型注釈が目指す世界をきちんと理解したいと思い、 2年越しくらいですごいHaskellたのしく学ぼう!をようやく読み終わりました。 型クラスの話あたりから、動的型言語（まともに書ける言語がPython, Ruby, R）にとっては感覚をつかみにくかったのです…