Conceptos básicos de macros
Código en tiempo de compilación
Conceptos básicos de macros es una lección gratuita de Scala for Backend Engineering & Functional Programming en CoddyKit. Esta es la lección 2 de 4. Puedes leer la lección completa abajo gratuitamente — luego la practicas en el navegador con un editor de código integrado y un tutor de IA 24/7. Forma parte de la ruta de aprendizaje de Scala for Backend Engineering & Functional Programming, y tu progreso se sincroniza en la web y la app de CoddyKit. El curso de Scala for Backend Engineering & Functional Programming incluye 4 lecciones en total.
¿Qué es una macro?
Una macro es código que se ejecuta en tiempo de compilación para generar otro código. Las macros de Scala 3 permiten inspeccionar argumentos, construir expresiones e insertarlas en el programa antes de compilarlo.
Patrón inline + macro
Una macro se invoca desde un inline def que delega en un método marcado con ${ ... }. El inline def es la API pública; la implementación de la macro se ejecuta en el compilador.
import scala.quoted.*
inline def power(x: Double, inline n: Int): Double =
${ powerImpl('x, 'n) }El contexto Quotes
Toda implementación de macro recibe un contexto implícito Quotes. Este proporciona acceso a la API de reflexión y la capacidad de construir e insertar expresiones.
import scala.quoted.*
def powerImpl(x: Expr[Double], n: Expr[Int])(using Quotes): Expr[Double] =
???Expr[T]
Expr[T] representa una expresión tipada de tipo T como datos de tiempo de compilación. Las macros reciben y devuelven valores Expr.
Elevar valores a Expr
Expr(value) eleva un valor de ejecución calculado en la macro a una expresión para volver a insertarlo. Esto funciona con cualquier tipo que tenga una instancia de ToExpr.
import scala.quoted.*
def constImpl(using Quotes): Expr[Int] = Expr(42)Extracción de argumentos constantes
n.value (o n.valueOrAbort) extrae la constante contenida en un Expr cuando el argumento se conoce estáticamente, de modo que la macro pueda tomar decisiones basadas en ella.
import scala.quoted.*
def powerImpl(x: Expr[Double], n: Expr[Int])(using Quotes): Expr[Double] = {
val exp = n.valueOrAbort
??? // build x*x*...*x exp times
}Informar de errores
Use quotes.reflect.report.errorAndAbort para emitir un error de compilación con un mensaje y una ubicación cuando no se cumplan las precondiciones de la macro.
import scala.quoted.*
def check(n: Expr[Int])(using q: Quotes): Expr[Int] = {
import q.reflect.*
val v = n.valueOrAbort
if (v < 0) report.errorAndAbort("must be >= 0")
Expr(v)
}Dónde viven las macros
Las implementaciones de macros deben compilarse antes que el código que las utiliza, normalmente en un archivo o módulo separado. El compilador las ejecuta mientras compila al código que las invoca.
Casos de uso habituales
Las macros permiten:
- la derivación de typeclasses, como códecs JSON
- la validación en tiempo de compilación, como expresiones regulares o SQL
- el registro que captura las posiciones del código fuente
- abstracciones sin coste
Seguridad e higiene
Las macros de Scala 3 son higiénicas: los identificadores generados no pueden capturar accidentalmente variables del usuario y el sistema de tipos comprueba el código generado, evitando muchos errores clásicos de las macros.
Equivalente en tiempo de ejecución
Una macro que calcula una potencia en tiempo de compilación produce el mismo resultado que esta versión autocontenida en tiempo de ejecución, pero con las multiplicaciones incorporadas por el compilador.
object Main {
def power(x: Double, n: Int): Double =
if (n == 0) 1.0 else x * power(x, n - 1)
def main(args: Array[String]): Unit = {
println(power(2.0, 3)) // 8.0
}
}Comprobación rápida
¿Qué tipo representa una expresión tipada de tiempo de compilación que las macros reciben y devuelven?
Resumen
Ha aprendido los fundamentos de las macros:
- las macros se ejecutan en tiempo de compilación mediante el patrón
inline def ... ${ } - el contexto
QuotesyExpr[T] - la elevación con
Expr(...)y la extracción con.value - la notificación de errores y la higiene
Siguiente: comillas e inserciones.
Preguntas frecuentes
¿La lección «Conceptos básicos de macros» es gratis?
Sí — el texto completo de «Conceptos básicos de macros» es gratis para leer aquí en la web. Para practicarla de forma interactiva (editor de código integrado y tutor de IA 24/7) y desbloquear el resto del curso de Scala for Backend Engineering & Functional Programming, actualiza a CoddyKit PRO. El curso de Scala for Backend Engineering & Functional Programming incluye 4 lecciones en total.
¿Qué aprenderé en «Conceptos básicos de macros»?
Código en tiempo de compilación Practicas Scala for Backend Engineering & Functional Programming con código real que ejecutas directamente en el navegador, y un tutor de IA 24/7 responde tus preguntas mientras trabajas en la lección.
¿Necesito experiencia previa para empezar Scala for Backend Engineering & Functional Programming?
No se requiere experiencia previa. Scala for Backend Engineering & Functional Programming en CoddyKit está estructurado para principiantes hasta estudiantes avanzados, así que puedes empezar aquí o desde el inicio y avanzar a tu ritmo. Esta es la lección 2 de 4.
¿Cuánto tiempo toma la lección «Conceptos básicos de macros»?
La mayoría de las lecciones de CoddyKit toman alrededor de 5–10 minutos. Cada una es compacta e interactiva, así que avanzas constantemente y retomas exactamente por donde dejaste en la web y la app.
¿Puedo escribir y ejecutar código en esta lección de Scala for Backend Engineering & Functional Programming?
Sí. Cada lección de Scala for Backend Engineering & Functional Programming incluye un editor de código integrado, así que escribes y ejecutas código real directamente en tu navegador y obtienes retroalimentación instantánea de IA — sin configuración local necesaria.
Todas las lecciones de este curso
- Métodos inline
- Conceptos básicos de macros
- Quotes y splices
- Macros prácticas