A Runtime inside Rust's type system #23
Description
Descripción
¿Alguna vez te has preguntado como de potente es el sistema de traits presente en Rust? ¿Te gustaría conocer los últimos avances de la comunidad en este area?
En esta charla usaremos el sistema de traits como runtime para expresiones lógicas y exploraremos hasta donde se puede extender este concepto. Además, haré una pequeña introducción a Chalk, una implementación y formalización del sistema de traits basada en prolog que esta muy cerca de ser totalmente integrada en rustc.
Bio de los ponentes
Self
Nivel
Intermedio
Duración
45 minutos