Par：一种实验性并发编程语言及其交互式游乐场

Par是一种实验性的并发编程语言，它尝试将线性逻辑的表达能力应用于实践。它具有独特的特性：进程通过通道进行通信，每个通道最多有两个端点，且不会出现死锁。所有值都是通道，包括列表、函数和无限流。目前Par还缺少一些特性，例如基本类型和非确定性，但它已经足够表达丰富的并发性。本文详细介绍了Par的语法、语义和一些例子，包括通道、信号、递归、表达式语法等。通过交互式游乐场，用户可以体验Par的并发特性。