Par: Eine experimentelle concurrente Programmiersprache mit interaktivem Playground

Par ist eine experimentelle concurrente Programmiersprache, die versucht, die Ausdruckskraft der linearen Logik in die Praxis umzusetzen. Sie verfügt über einzigartige Eigenschaften: Prozesse kommunizieren über Kanäle, jeder Kanal hat höchstens zwei Endpunkte und Deadlocks sind unmöglich. Alle Werte sind Kanäle, einschließlich Listen, Funktionen und unendliche Streams. Obwohl Par derzeit einige Funktionen wie primitive Typen und Nichtdeterminismus fehlt, drückt es bereits eine reiche Concurrency aus. Dieser Artikel beschreibt die Syntax, Semantik und Beispiele von Par, einschließlich Kanäle, Signale, Rekursion und Ausdrucks-Syntax. Ein interaktiver Playground ermöglicht es Benutzern, die Concurrency von Par zu erleben.