Skip to content

Details

Nuestro próximo evento estará coorganizado junto con el meetup Scala Programming @ Madrid. En esta ocasión, volvemos a las oficinas de Idealista, que nos ofrecerán su fantástico espacio y patrocinarán el networking. ¡Nos vemos!

Abstract
Podemos automatizar la generación de código con LLMs y podemos … utilizar la lógica. En esta charla mostraremos los mecanismos de deducción automática que subyacen al desarrollo dirigido por tipos, y cómo implementar dichos mecanismos utilizando macros de Scala 3.

Bio
Juan Manuel es co-fundador de Habla Computing, un estudio de arquitectura software especializado en la ingeniería de datos y el diseño de librerías, y profesor titular de la Universidad Rey Juan Carlos, donde imparte programación funcional en Scala.

Events in Madrid, ES
Functional Programming
Programming Languages
Scala
Compilers
Logic

Members are also interested in