Par: An Experimental Concurrent Language with Interactive Playground

Par is an experimental concurrent programming language attempting to bring the expressive power of linear logic to practice. It features unique properties: processes communicate via channels, each channel has at most two endpoints, and deadlocks are impossible. All values are channels, including lists, functions, and infinite streams. While Par currently lacks some features like primitive types and non-determinism, it already expresses rich concurrency. This article details Par's syntax, semantics, and examples, covering channels, signals, recursion, and expression syntax. An interactive playground lets users experience Par's concurrency.