cap15: estilo e ortografia

Author: ramalho

online/cap15.adoc

@@ -6,8 +6,8 @@
 [quote, Guido van Rossum, um fã do Monty Python]
 ____
 
-Aprendi uma dolorosa lição: para programas pequenos, a tipagem dinâmica é ótima.
-Para programas grandes é necessária uma abordagem mais disciplinada. E ajuda se
+Aprendi uma dura lição: para programas pequenos, a tipagem dinâmica é ótima.
+Para programas grandes precisamos de uma abordagem mais disciplinada. E ajuda se
 a linguagem der a você aquela disciplina, ao invés de dizer "Bem, faça o que
 quiser".footnote:[De um vídeo no YouTube da _A Language Creators' Conversation:
 Guido van Rossum, James Gosling, Larry Wall & Anders Hejlsberg_ (Uma Conversa
@@ -178,7 +178,7 @@ qual dos dois? Um iterável ou dois ou mais argumentos?
 A realidade é mais complicada, porque `max` também pode receber dois argumentos
 opcionais: `key` e `default`.
 
-Escrevi `max` em Python para tornar mais fácil ver a relação entre o
+Escrevi `max` em Python para evidenciar a relação entre o
 funcionamento da função e as anotações sobrecarregadas (a função embutida
 original é escrita em C); veja o <<mymax_ex>>.
 
@@ -590,7 +590,7 @@ pequeno microcontrolador, poderia escrever uma função parecida com o
 <<to_xml_ex>>.footnote:[Prefiro usar o pacote https://fpy.li/15-8[lxml] para
 gerar e interpretar XML: ele é fácil de começar a usar, completo e rápido.
 Infelizmente, nem o lxml nem o
-https://docs.python.org/pt-br/3/library/xml.etree.elementtree.html[_ElementTree_]
+https://fpy.li/7f[_ElementTree_]
 do próprio Python cabem na RAM limitada de meu microcontrolador hipotético.]
 
 [[to_xml_ex]]
@@ -792,7 +792,7 @@ https://fpy.li/15-14[documentação do Mypy 0.930] explica (tradução nossa):
 [quote]
 ____
 Coerções são usadas para silenciar avisos espúrios do checador de tipos,
-e ajudan o checador quando ele não consegue entender o que está acontecendo.
+e ajudam o checador quando ele não consegue entender o que está acontecendo.
 ____
 
 Durante a execução, `typing.cast` não faz absolutamente nada.
@@ -842,7 +842,7 @@ seria necessário.]
 Aqui está outro exemplo com `cast`, desta vez para corrigir uma dica de tipo
 desatualizada na biblioteca padrão de Python. No <<tcp_mojifinder_main_ex>>, criei
 um objeto `asyncio.Server`, e queria obter o endereço onde o servidor está
-ouvindo (aceitando conexções). Escrevi esta linha de código:
+ouvindo (aceitando conexões). Escrevi esta linha de código:
 
 [source, python]
 ----
@@ -884,12 +884,12 @@ precisei adicionar duas instruções `import` e mais uma linha de código para
 melhorar a legibilidade.footnote:[Na realidade, inicialmente coloquei um
 comentário `# type: ignore` às linhas com `+server.sockets[0]+` porque, após
 pesquisar um pouco, encontrei linhas similares na
-https://docs.python.org/pt-br/3/library/asyncio-stream.html#tcp-echo-server-using-streams[documentação]
+https://fpy.li/7g[documentação]
 do _asyncio_ e em um https://fpy.li/15-19[caso de teste], e aí comecei a
 suspeitar que o problema não estava no meu código.] Mas agora o código está mais
 seguro.
 
-O leitor atento pode ser notado que `sockets[0]` poderia gerar um `IndexError`
+A leitora atenta pode ter notado que `sockets[0]` poderia gerar um `IndexError`
 se `sockets` estiver vazio.
 Entretanto, até onde entendo o `asyncio`, isso não pode acontecer no
 <<tcp_mojifinder_main_ex>>, pois no momento em que leio o atributo `sockets`, o
@@ -905,7 +905,7 @@ Não se acostume a usar `cast` para silenciar o Mypy toda hora, porque
 normalmente o Mypy está certo quando aponta um erro. Se você estiver aplicando
 `cast` com frequência, isso é um https://fpy.li/15-20[_code smell_]
 (cheiro no código). Sua equipe pode estar fazendo um mau uso das dicas de tipo, ou sua
-base de código pode ter dependências de baixa qualidaade.
+base de código pode ter dependências de baixa qualidade.
 
 ====
 
@@ -1022,7 +1022,7 @@ real, a classe `Rectangle`. E aí seu código precisa descobrir o que aquela
 string significa.
 
 O módulo `typing` inclui três funções e uma classe categorizadas como
-https://docs.python.org/pt-br/3/library/typing.html#introspection-helpers[Auxiliares de introspecção],
+https://fpy.li/7h[Auxiliares de introspecção],
 sendo `typing.get_type_hints` a mais importante delas. Parte de sua documentação afirma:
 
 `get_type_hints(obj, globals=None, locals=None, include_extras=False)`::
@@ -1177,7 +1177,7 @@ O método de `Checked._fields` evita que outras partes do módulo dependam diret
 
 [WARNING]
 ====
-Dadas as discussões correntes e as mudanças propostas para a inspeção de dicas de tipo durante a execução, a página da documentação oficial https://docs.python.org/pt-br/3.10/howto/annotations.html["Boas Práticas de Anotação"] é uma leitura obrigatória, e a página deve ser atualizada até o lançamento de Python 3.11.
+Dadas as discussões correntes e as mudanças propostas para a inspeção de dicas de tipo durante a execução, a página da documentação oficial https://fpy.li/7j["Boas Práticas de Anotação"] é uma leitura obrigatória, e a página deve ser atualizada até o lançamento de Python 3.11.
 Aquele _how-to_ foi escrito por Larry Hastings, autor da
 https://fpy.li/pep649[PEP 649—Deferred Evaluation Of Annotations Using Descriptors (_Avaliação Adiada de Anotações Usando Descritores_)], uma proposta alternativa para tratar os problemas gerados durante a execução pela https://fpy.li/pep563[PEP 563—Postponed Evaluation of Annotations (_Avaliação Adiada de Anotações)].
 ====
@@ -1255,8 +1255,7 @@ formais—neste caso, `T`.
 ====
 
 A seção
-https://docs.python.org/pt-br/3/library/typing.html#user-defined-generic-types[_User-defined
-generic types_]
+https://fpy.li/7k[_User-defined generic types_]
 (Tipos genéricos definidos pelo usuário), na documentação do
 módulo `typing`, é curta, inclui bons exemplos e fornece alguns detalhes que não
 menciono aqui.
@@ -1309,7 +1308,7 @@ se parecer com páginas de um livro de matemática.
 Na prática, a variância é mais relevante para autores de bibliotecas que querem
 suportar novos tipos de coleções genéricas ou fornecer uma API baseada em
 _callbacks_. Mesmo nestes casos, é possível evitar muita complexidade suportando
-apenas coleções invariantes—que é praticamente tudo o que temos hoje na biblioteca
+apenas coleções invariantes—que é o que temos hoje na biblioteca
 padrão. Então, em uma primeira leitura você pode pular toda esta seção, ou ler
 apenas as partes sobre tipos invariantes.
 
@@ -1426,7 +1425,7 @@ Neste exemplo didático, vamos fazer algumas suposições e classificar o lixo e
 
 * `Refuse` (_Resíduo_) é o tipo mais geral de lixo. Todo lixo é resíduo.
 
-* `Biodegradable` (_Biodegradável_) é um tipo de lixo que é decomposto por microrganismos ao longo do tempo.
+* `Biodegradable` (_Biodegradável_) é um tipo de lixo decomposto por microrganismos ao longo do tempo.
 Parte do `Refuse` não é `Biodegradable`.
 
 * `Compostable` (_Compostável_) é um tipo específico de lixo `Biodegradable` que pode ser transformado de em fertilizante orgânico,
@@ -1522,7 +1521,7 @@ Tipos genéricos covariantes seguem a relação de subtipo do tipo real dos par
 
 Contêineres imutáveis podem ser covariantes.
 Por exemplo, é assim que a classe `typing.FrozenSet` está
-https://docs.python.org/pt-br/3.10/library/typing.html#typing.FrozenSet[documentada] como covariante com uma variável de tipo usando o nome convencional `T_co`:
+https://fpy.li/7m[documentada] como covariante com uma variável de tipo usando o nome convencional `T_co`:
 
 [source, python]
 ----
@@ -1759,7 +1758,7 @@ A <<typing_peps_tbl>> lista todas as PEPs que encontrei até maio de 2021.
 Seria necessário um livro inteiro para cobrir tudo.
 
 [[typing_peps_tbl]]
-.PEPs sobre dicas de tipo, com links nos títulos. PEPs com números marcados com * são importantes o suficiente para serem mencionadas no parágrafo de abertura da https://docs.python.org/pt-br/3/library/typing.html[documentação de `typing`]. Pontos de interrogação na coluna Python indica PEPs em discussão ou ainda não implementadas; "n/a" aparece em PEPs informacionais sem relação com uma versão específica de Python. Dados coletados em maio de 2021.
+.PEPs sobre dicas de tipo, com links nos títulos. PEPs com números marcados com * são importantes o suficiente para serem mencionadas no parágrafo de abertura da https://fpy.li/4a[documentação de `typing`]. Pontos de interrogação na coluna Python indica PEPs em discussão ou ainda não implementadas; "n/a" aparece em PEPs informacionais sem relação com uma versão específica de Python. Dados coletados em maio de 2021.
 [options="header"]
 [cols="3,24,4,3"]
 |=================================================================================================================================
@@ -1812,8 +1811,8 @@ https://fpy.li/15-41[_Python 3 Types in the Wild: A Tale of Two Type Systems_]
 artigo científico de Ingkarat Rak-amnouykit e outros, do Rensselaer Polytechnic
 Institute e do IBM TJ Watson Research Center. O artigo avalia o uso de dicas de
 tipo em projetos de código aberto no GitHub, mostrando que a maioria dos
-projetos não as usam, e também que a maioria dos projetos que incluem dicas de
-tipo aparentemente não usam um checador de tipos. Achei particularmente
+projetos não as usa, e também que a maioria dos projetos que têm dicas de
+tipo aparentemente não usa um checador de tipos. Achei particularmente
 interessante a discussão das semânticas diferentes do Mypy e do _pytype_ do
 Google, onde os autores concluem que eles são "essencialmente dois sistemas de
 tipos diferentes."
@@ -1851,11 +1850,11 @@ Para algumas visões críticas sobre os sistemas de tipagem, recomendo os posts
 https://fpy.li/15-49[_Bad ideas in type theory_] (Ideias ruins em teoria dos tipos)
 e https://fpy.li/15-50[_Types considered harmful II_] (Tipos considerados nocivos II).
 
-Por fim, me surpreeendi ao encontrar
+Por fim, me surpreendi ao encontrar
 https://fpy.li/15-51[_Generics Considered Harmful_] (Genéricos Considerados Nocivos),
 de Ken Arnold, um desenvolvedor
 principal de Java desde o início, bem como co-autor das primeiras quatro edições
-do livro oficial _The Java Programming Language_ (Addison-Wesley)—junto com
+do livro oficial _The Java Programming Language_ (Addison-Wesley)—com
 James Gosling, o principal criador de Java.
 
 Infelizmente, as críticas de Arnold também se aplicam ao sistema de tipagem