Add typing.Reader and typing.Writer

I recently stumbled at a TODO in typeshed that proposes to split IO[AnyStr] into smaller pieces. I think it is a good idea and propose to add two protocols:

class Reader(Protocol[AnyStr]):
    def read(self, n: int = ...) -> AnyStr: ...
    def readlines(self) -> List[AnyStr]: ...
    def close(self) -> None: ...

class Writer(Protocol[AnyStr]):
    def write(self, s: AnyStr) -> int: ...
    def writelines(self, lines: List[AnyStr]) -> None: ...
    def close(self) -> None: ...

Then IO[AnyStr] can subclass both, plus add some less often used methods (also IO should stay nominal). What do you think?

typeshedで参照されているTODOから始め、typing.IOの既存の定義を確認してください。提案されているReaderおよびWriterプロトコルを、IOであまり使用されないメソッドと、IOをnominalのままにする要件と比較してください。完了条件は、プロトコル設計について合意に達し、受け入れられた変更を文書化または実装することです。