29.05.2026
Пятница, а это значит - новый язык программирования
Par - экспериментальный язык программирования, воплощающий выразительную силу линейной логики на практике, где все является каналом, а любая операция - коммуникацией. Он гарантирует отсутствие паник, дедлоков и случайных бесконечных циклов, автоматическую конкурентность (все, что может выполняться параллельно, выполняется параллельно) и использует session types в качестве системы типов. Синтаксический сахар позволяет писать в функциональном, объектно-ориентированном и процесс-ориентированном стилях, но под капотом это единый процесс-исчисление.
А сам язык написан на Rust
