Como é que se pode integrar a verificação de tipos no processo de CI/CD?

A integração da verificação de tipos no CI/CD pode ser feita usando ferramentas de análise estática de código, como MyPy, Pyright ou Pytype. Essas ferramentas são executadas na fase de build ou teste na pipeline de CI/CD.

Etapas de integração:

1. Instalação e configuração: Adicione a ferramenta escolhida como dependência do projeto (por exemplo, em requirements.txt ou pyproject.toml) e configure seu arquivo de configuração (por exemplo, mypy.ini).
2. Adicionar uma etapa no CI/CD: No arquivo de configuração do CI/CD (por exemplo, .github/workflows/main.yml, .gitlab-ci.yml, azure-pipelines.yml), adicione uma etapa (job ou step) que execute a verificação de tipos com a ferramenta escolhida.
3. Execução e análise dos resultados: O CI/CD executa essa etapa a cada alteração no código. Se a ferramenta detectar erros de tipagem, a etapa termina com erro e todo o pipeline é interrompido, impedindo o deploy de código com erros.
4. Relatórios: Algumas plataformas de CI/CD e ferramentas de análise estática permitem gerar relatórios de erros de tipagem, que podem ser visualizados na interface do CI/CD.

Exemplo de passo no GitHub Actions com MyPy:

name: CI

on:
  push:
    branches: [ main ]
  pull_request:
    branches: [ main ]

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v3
    - name: Configurar Python 3.9
      uses: actions/setup-python@v4
      with:
        python-version: 3.9
    - name: Instalar dependências
      run: |
        python -m pip install --upgrade pip
        pip install -r requirements.txt
        pip install mypy pytest
    - name: Executar MyPy
      run: mypy . # Executar MyPy no diretório atual
    - name: Executar testes
      run: pytest # Executar testes

Essa integração garante que o código com tipagem incorreta não chegue ao ambiente de produção, aumentando a confiabilidade e a qualidade do aplicativo em desenvolvimento.