Introduction to the Par Language

Par is a new programming language rooted in classical linear logic, featuring a linear type system akin to Rust with unique concurrent communication guarantees. It blends functional and object-oriented paradigms, emphasizing orthogonality through composable features derived from logical connectives. Par aims for totality, eliminating exceptions, deadlocks, and unintended non-termination. Still in development, it offers an innovative approach to logic-guided programming.