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?

Commencez par le TODO référencé dans typeshed et examinez la définition existante de typing.IO. Comparez les protocoles Reader et Writer proposés avec les méthodes de IO les moins utilisées et avec l’exigence que IO reste nominal ; le travail est terminé lorsqu’un accord a été trouvé sur la conception des protocoles et que la modification acceptée a été documentée ou implémentée.