主要观点：Par 以线性逻辑中的“par”命名，基于经典线性逻辑进行实验，旨在将其转化为实用编程语言。它有线性类型系统，值有单一所有者且移动而非复制，不能被丢弃需按类型消费，这能实现特殊的仅可通过发送消费的通道，使并发通信像调用函数一样透明可组合，还能排除死锁，形成新的并发应用方式。Par 不仅是并发语言，还吸收线性逻辑的强大力量，呈现多种范式，如带副作用的函数式编程、独特的面向对象风格、隐式并发等，且任何单一问题往往有单一最佳解决方案。Par 设计注重小而可组合的概念，不追求复杂深度而追求广泛，其设计直接取自经典线性逻辑，所有类型对应逻辑连接词，包括递归。Par 还追求全面，无异常、无死锁、无意外非终止，通过迭代类型确保核心递归的正确性，目前系统还不够强大有逃生舱但目标是消除。Par 处于活跃开发中，非生产就绪但富有表现力可探索。
关键信息：

• Par 基于线性逻辑，有线性类型系统。
• 可实现仅可通过发送消费的通道，排除死锁。
• 呈现多种编程范式。
• 设计注重小而可组合概念。
• 追求全面，无异常等。
• 处于活跃开发中。
  重要细节：
• 1987 年 Jean-Yves Girard 提及线性逻辑新连接词在并行计算中的意义。
• Par 因缺乏非确定性和不良 I/O 库，实际应用有限。
• 不同范式在 Par 中自然出现，如带副作用的函数式编程等。
• Par 设计的每个特征小且独特，相互配合。
• 目前系统在捕获复杂算法方面不够强大有逃生舱。