패닉, 데드락 없는 새로운 언어 Par, 자동 동시성으로 개발 효율 UP!

Par는 자동 동시성(Automatic Concurrency)을 통해 개발자가 명시적으로 스레드(Thread)를 관리할 필요 없이, 가능한 모든 작업을 병렬로 실행한다. 데이터 종속성(Data Dependency)에 의해 블로킹(Blocking)이 발생하며, 이는 지역적으로 처리된다. 또한, Par는 패닉(Panic)과 데드락(Deadlock)을 컴파일 타임(Compile Time)에 방지하여 런타임(Runtime) 오류를 최소화한다. 이러한 특징은 안정적인 시스템 구축에 기여한다.

Par는 세션 타입(Session Types)을 사용하여 통신 프로토콜을 타입 시스템(Type System)으로 표현한다. 모든 값은 통신 채널(Communication Channel)로 간주되며, 각 연산은 해당 채널의 프로토콜을 진행시킨다. 예를 들어, 맵(Map)은 `.entry`, `.put`, `.delete`와 같은 메서드를 통해 상태 변화(State Change)를 관리하며, 타입 시스템은 이러한 연산의 순서를 보장한다. 이는 데이터 경쟁 조건(Data Race Condition)을 방지하고, 안전한 동시성 프로그래밍을 가능하게 한다.

Par는 선형 논리(Linear Logic)를 기반으로 설계되어, 자원의 사용 횟수를 정확하게 제어한다. 이는 메모리 누수(Memory Leak)와 같은 문제를 방지하고, 자원 관리(Resource Management)를 효율적으로 수행할 수 있게 한다. 또한, Par는 커리-하워드 동형성(Curry-Howard Isomorphism)을 통해 함수형 프로그래밍(Functional Programming)과 객체 지향 프로그래밍(Object-Oriented Programming) 스타일을 모두 지원하며, 익숙한 구문(Syntax)을 제공하여 학습 장벽을 낮춘다.

Par는 자동 동시성, 세션 타입, 그리고 선형 논리를 통해 안정성(Stability)과 표현력(Expressiveness)을 동시에 제공하는 것을 목표로 한다. 하지만, 새로운 패러다임(New Paradigm)에 대한 학습 곡선(Learning Curve)이 존재하며, 기존의 프로그래밍 방식과는 다른 사고방식을 요구한다. 커뮤니티에서는 실용성(Practicality)에 대한 의문과 함께, 실제 프로젝트에 적용하기 위한 도구(Tooling) 및 라이브러리(Library)의 부족을 지적하는 의견도 존재한다.