Skip to content

Details

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.

SPEAKER. Juan Manuel Serrano 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.

HOST. Gracias a Idealista por cedernos el espacio para la charla y organizar el networking posterior.

CO-ORGANIZERS. Este evento está organizado conjuntamente con el meetup de programación funcional de Madrid.

Related topics

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

You may also like