Tagless final (III/III)

Finalizamos la serie de charlas sobre tagless final con la tercera entrega. Si en la sesión anterior se establecieron las bases de esta aproximación con ejemplos sencillos, en ésta última Juan José Vázquez, CTO de Tecsisa, profundizará con ejemplos más complejos que involucran lenguajes de orden superior tipados que trabajan con lambdas. Quizá sorprendentemente, veremos que no es necesario recurrir a GADT's o dependent types para conseguir el embedding de estos lenguajes y será suficiente con Scala y su soporte a higher-kinded types.

En esta sesión responderemos a las preguntas:

• ¿Cómo podemos hacer pattern-matching en el estilo final incluso en la presencia de intérpretes no composicionales?
• ¿Cómo aprovechamos esto para aplicar optimizaciones sobre nuestras expresiones?
• ¿Qué es el problema de los "tags" y por qué llamamos "tagless" a esta técnica?
• ¿Cómo introducimos los tipos en los lenguajes tagless final?
• ¿Es posible embeber lambdas en el estilo final para crear DSL's de orden superior?. ¿Cómo?.

Todos los ejemplos de código se darán en Scala 3. ¡Os esperamos!.