Par是一种富有表现力的并发全*语言，具有线性类型和完全对偶性。 基于线性逻辑和会话类型，Par同时具备函数式和命令式特性，完美融合。