Par: Un lenguaje de programación concurrente experimental con playground interactivo
2025-02-06
Par es un lenguaje de programación concurrente experimental que intenta llevar el poder expresivo de la lógica lineal a la práctica. Tiene propiedades únicas: los procesos se comunican a través de canales, cada canal tiene como máximo dos puntos finales y los bloqueos son imposibles. Todos los valores son canales, incluidas listas, funciones y flujos infinitos. Si bien Par actualmente carece de algunas características, como tipos primitivos y no determinismo, ya expresa una rica concurrencia. Este artículo detalla la sintaxis, la semántica y ejemplos de Par, cubriendo canales, señales, recursión y sintaxis de expresiones. Un playground interactivo permite a los usuarios experimentar la concurrencia de Par.
Desarrollo
lógica lineal