Par : un langage de programmation concurrentiel expérimental avec un espace de jeu interactif
Par est un langage de programmation concurrentiel expérimental qui tente d'appliquer le pouvoir expressif de la logique linéaire à la pratique. Il possède des propriétés uniques : les processus communiquent via des canaux, chaque canal a au plus deux points d'extrémité et les blocages sont impossibles. Toutes les valeurs sont des canaux, y compris les listes, les fonctions et les flux infinis. Bien que Par manque actuellement de certaines fonctionnalités, telles que les types primitifs et le non-déterminisme, il exprime déjà une riche concurrence. Cet article détaille la syntaxe, la sémantique et des exemples de Par, couvrant les canaux, les signaux, la récursion et la syntaxe des expressions. Un espace de jeu interactif permet aux utilisateurs de faire l'expérience de la concurrence de Par.