Bahasa Par: Logika Linear untuk Pemrograman Total

Par didasarkan pada logika linear klasik dengan setiap tipe merepresentasikan konektor logika.

Sistem tipe linear memastikan nilai memiliki satu pemilik dan tidak dapat diabaikan.

Kanal komunikasi hanya dapat dikonsumsi melalui pengiriman, memberikan jaminan penuh bagi penerima.

Komunikasi konkuren bersifat transparan dan komposabel, dengan struktur pohon yang mencegah deadlock.

Par mengusung pendekatan multi-paradigma namun setiap masalah memiliki satu solusi terbaik.

Fitur-fitur Par bersifat kecil dan komposabel, fokus pada cakupan unik yang tidak tumpang tindih.

Par menjamin totalitas: tanpa eksepsi, tanpa deadlock, dan tanpa non-terminasi tak disengaja.

Par masih dalam pengembangan aktif, belum siap produksi, namun siap dieksplorasi.