Saltar al contenido

Detalles

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.

Functional Programming
JVM Languages
Programming Languages
Scala
Logic

Los miembros también están interesados en