Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

A Runtime inside Rust's type system #23

Open
hermeGarcia opened this issue Apr 23, 2024 · 0 comments
Open

A Runtime inside Rust's type system #23

hermeGarcia opened this issue Apr 23, 2024 · 0 comments
Labels
estado/triaje Estado inicial de una propuesta o solicitud propuesta Un tema sobre el que te gustaría dar una charla

Comments

@hermeGarcia
Copy link

hermeGarcia commented Apr 23, 2024 •
edited
Loading

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
@hermeGarcia hermeGarcia added estado/triaje Estado inicial de una propuesta o solicitud propuesta Un tema sobre el que te gustaría dar una charla labels Apr 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
estado/triaje Estado inicial de una propuesta o solicitud propuesta Un tema sobre el que te gustaría dar una charla
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@hermeGarcia