RacketCon regresa y se perfila como uno de los eventos más técnicos en el calendario de programación funcional. La conferencia se lleva a cabo el sábado 3 de octubre, con sesiones que comienzan a las 8:30 AM PDT y puertas que abren a las 9:00 AM PDT. La inscripción está abierta y hay disponibles boletos de precio especial para los que se registren antes del 13 de septiembre.
El día comienza con Pat Hanrahan, el Profesor Canon de Ciencias de la Computación e Ingeniería Eléctrica Emérito de la Universidad de Stanford, quien dirigió el diseño de RenderMan en Pixar y cofundó Tableau. Recibió el Premio Turing de la ACM en 2019. Su presentación, titulada «On Notation» (Sobre la notación), marca el tono para un día enfocado en el lenguaje en sí.
Conversación sobre Inferencia de Tipos de Fred Fu
Fred Fu, un candidato a doctorado en la Universidad de Indiana, continúa con «Inferencia de Tipos Con Tipos Lógicos Para Lenguajes No Tipados». El trabajo de Fu en Typed Racket —el equivalente gradualmente tipado a Racket— ha estado corrigiendo errores y refinando la metateoría de la tipificación de ocurrencia, una de las características distintivas del lenguaje.
La presentación aborda un problema específico: cuando un programa de Typed Racket importa una macro de un módulo de Racket no tipado, el sistema de tipos a menudo rechaza el código. El prototipo de Fu combina la tipificación de ocurrencia con la sub-tipificación algebraica para inferir tipos para parámetros generados, un problema que actualmente obliga a los programadores a reescribir macros.
Lucas Myers Presenta Pille
Lucas Myers, un estudiante de doctorado en la Universidad de Northwestern asesorado por Robby Findler, sube al escenario a las 11:10 AM con «Programación de Bajo Nivel Orientada al Lenguaje Con Pille». Myers trabajó en la industria del software antes de su doctorado, abarcando la pila de hardware/software.
Pille es un nuevo lenguaje basado en Rhombus, construido sobre un compilador basado en LLVM. Transplanta el proceso de reforestación de Rhombus a un nuevo lenguaje básico, evitando las limitaciones de la VM de Racket al tiempo que conserva las macros basadas en Rhombus. La presentación enfatiza cómo su metaprogramación de alto nivel puede resolver problemas decididamente de bajo nivel.
Mike Delmonaco Sobre Traición
Mike Delmonaco, ingeniero de software en Amazon Web Services con un interés aficionado en Lenguajes de Programación y Racket, presenta «Treason: Making Macros And IDE Services Work Together» a la 1:30PM. Los macros de Racket son potentes pero obstaculizan los servicios de IDE cuando un programa está roto o incompleto.
Treason es un prototipo que permite la recuperación de errores en la expansión de macros y continúa recopilando información para los servicios de IDE. Las anotaciones de clases sintácticas permiten la expansión de subexpresiones incluso dentro de un uso de macro roto, una contribución clave que la presentación demuestra.
Herbie: Improving Floating-Point Accuracy
Pavel Panchekha, profesor asociado en la Universidad de Utah y desarrollador de Herbie, cierra la sesión principal a las 2:10PM con «Herbie: Improving Floating-Point Accuracy.» La matemática de punto flotante requiere redondeo, y dos formas de escribir la misma fórmula pueden producir resultados radicalmente diferentes.
Herbie es un compilador que compila fórmulas matemáticas a expresiones de punto flotante precisas. La presentación introduce el error de punto flotante, demuestra Herbie y reflexiona sobre diez años de escribirlo en Racket.
Horario General
| Hora | Sesión |
|---|---|
| 8:30AM PDT | Apertura de puertas |
| 9:00AM PDT | Registro |
| 10:00 AM PDT | Pat Hanrahan – On Notation |
| 10:30 AM PDT | Receso |
| 11:10 AM PDT | Fred Fu – Inferencia de tipos con tipos lógicos para lenguajes no tipados |
| 11:50 AM PDT | Lucas Myers – Programación de bajo nivel orientada al lenguaje con Pille |
| 1:30 PM PDT | Almuerzo |
| 2:10 PM PDT | Mike Delmonaco – Traición: Haciendo que las macros y los servicios de IDE funcionen juntos |
| 2:50PM PDT) | Receso) |
| 3:30PM PDT) | Pavel Panchekha – Herbie: Mejorando la Precisión de Punto Flotante) |
Caja de Datos Clave)
- Fecha límite para inscripciones anticipadas: 13 de septiembre)
- Fecha de la conferencia: sábado, 3 de octubre)
- Hora de inicio: 8:30AM PDT)
- Primera charla: Pat Hanrahan, 10:00AM PDT)
- Almuerzo: 1:30PM PDT)
- Última charla: Pavel Panchekha, 3:30PM PDT)
Nuestra Interpretación)
El cronograma está apretado y se basa en gran medida en investigaciones recientes. El historial galardonado con el Premio Turing de Hanrahan es un pilar del día, pero el atractivo principal son las presentaciones en desarrollo. El prototipo de inferencia de tipos de Fu, Pille de Myers, Treason de Delmonaco y la década de Herbie de Panchekha representan hilos vivos de investigación en lugar de productos terminados.
Esto resulta en una conferencia que se siente menos como un esfuerzo de marketing y más como una reunión de trabajo. La transmisión y la disponibilidad de las grabaciones significan que el contenido perdura más allá de la sala, lo que es una decisión inteligente para un lenguaje que busca llegar al mundo más amplio de la programación.
Para cualquiera que esté construyendo con Racket o sea curioso sobre los lenguajes tipados, este es el tipo de día que vale la pena tomarse una mañana libre. Las charlas son densas, los oradores son experimentados y el tema abarca notación, sistemas de tipos, rendimiento de bajo nivel y precisión numérica — una amplia red para un solo día.
Fuente: “RacketCon Is Saturday,” racket-lang.org.
Recibe El Cuaderno.
Las mejores historias del día y cada veredicto nuevo, en español claro, en tu correo a las siete. Un correo al día, nada más.