Inside SQLx: How Rust Checks SQL Before Your Application Runs

Una sesión práctica de dos horas que investiga cómo SQLx puede detectar SQL no válido, parámetros incompatibles, columnas faltantes y mapeos de Rust incorrectos durante la compilación en lugar de después del despliegue.

La sesión sigue una consulta a través del límite entre Rust y la base de datos: desde el texto SQL y los parámetros vinculados, pasando por la inspección del esquema y el análisis de tipos, hasta el valor de Rust devuelto a la aplicación. Romperemos deliberadamente consultas, cambiaremos esquemas e introduciremos desajustes de tipos para entender qué puede probar SQLx antes del tiempo de ejecución, y qué no.

El énfasis no está en memorizar una API. Está en comprender el modelo de ingeniería detrás del SQL verificado en tiempo de compilación, el papel de las migraciones en la preservación de ese modelo y las consecuencias prácticas para el desarrollo local, las pruebas, la integración continua y el despliegue.

Audiencia: desarrolladores que quieran entender cómo Rust puede proporcionar garantías más sólidas en torno al SQL ordinario sin reemplazar SQL con un ORM o lenguaje de consulta.

Resultados:

• Rastrear cómo SQLx valida una consulta durante la compilación
• Comprender cómo los metadatos de la base de datos informan la verificación de tipos de Rust
• Ver fallos en tiempo de compilación causados por consultas no válidas y tipos de resultados incompatibles
• Comprender por qué el esquema actual es importante durante una compilación
• Conectar las migraciones de la base de datos con la corrección de las consultas
• Distinguir las macros verificadas de las API de consulta en tiempo de ejecución
• Evaluar cuándo la verificación de SQL en tiempo de compilación mejora un proyecto y cuándo añade fricción

Formato: dos horas con una investigación guiada, experimentos con consultas rotas, ejemplos de migración, discusión sobre compensaciones operativas y una lista de verificación reutilizable para el código de base de datos.