Par是一種表達性強、並發的、完全*語言，具有線性類型和完整的對偶性。 基於線性邏輯和會話類型，Par同時擁有功能性和命令式特徵，無縫整合。