Inside SQLx: How Rust Checks SQL Before Your Application Runs

Uma sessão prática de duas horas investigando como o SQLx pode detectar SQL inválido, parâmetros incompatíveis, colunas ausentes e mapeamentos Rust incorretos durante a compilação, em vez de após a implantação.

A sessão acompanha uma consulta através da fronteira entre o Rust e o banco de dados: desde o texto SQL e parâmetros vinculados, passando pela inspeção de esquema e análise de tipo, até o valor Rust retornado à aplicação. Vamos quebrar consultas deliberadamente, alterar esquemas e introduzir incompatibilidades de tipo para entender o que o SQLx pode provar antes do tempo de execução — e o que ele não pode.

A ênfase não está em memorizar uma API. Está em entender o modelo de engenharia por trás do SQL verificado em tempo de compilação, o papel das migrações na preservação desse modelo e as consequências práticas para o desenvolvimento local, testes, integração contínua e implantação.

Público-alvo: desenvolvedores que desejam entender como o Rust pode fornecer garantias mais fortes em torno do SQL comum sem substituir o SQL por um ORM ou linguagem de consulta.

Resultados:

• Rastrear como o SQLx valida uma consulta durante a compilação
• Entender como os metadados do banco de dados informam a verificação de tipo do Rust
• Ver falhas em tempo de compilação causadas por consultas inválidas e tipos de resultado incompatíveis
• Entender por que o esquema atual é importante durante uma compilação
• Conectar migrações de banco de dados à correção de consultas
• Distinguir macros verificadas de APIs de consulta em tempo de execução
• Avaliar quando a verificação de SQL em tempo de compilação melhora um projeto e quando ela adiciona atrito

Formato: duas horas com uma investigação guiada, experimentos de consulta quebrada, exemplos de migração, discussão sobre compensações operacionais e uma lista de verificação reutilizável para código de banco de dados.