Par 언어, 선형 타입 기반의 혁신적인 기능 공개!
by DD
6개월 전
조회수 14
Par 언어, 선형 타입(Linear Types), 이중성(Duality), 자동 동시성(Automatic Concurrency)을 기반으로 하는 실험적인 언어
새로운 `if` 구문 도입: either types를 조건문에서 활용, 바인딩 유효 범위 확장
암시적 제네릭(Implicit Generics) 지원으로 코드 간결성 향상
새로운 런타임 도입으로 2-3배 성능 향상 달성
향상된 if 구문과 either types
Par 언어는 기존의 `.case` 구문을 대체하는 새로운 `if` 구문을 도입하여 either types(합 타입)를 조건문 내에서 더욱 효과적으로 사용할 수 있도록 했다. 특히, `result is .ok value`와 같은 구문을 통해 바인딩된 변수를 `not` 조건문에서도 사용할 수 있도록 지원한다. 이는 코드 가독성(Code Readability)을 높이고, 복잡한 조건 로직을 간결하게 표현하는 데 기여한다.
암시적 제네릭(Implicit Generics) 도입
Par 언어는 기존의 명시적 제네릭(Explicit Generics) 외에 암시적 제네릭을 지원하여 코드의 간결성을 높였다. 예를 들어, `Reverse(Int.Range(1, 10))`과 같이 제네릭 타입을 명시적으로 지정하지 않아도 컴파일러가 자동으로 추론하도록 함으로써, 코드 작성 편의성(Code Convenience)을 향상시켰다. 이는 System F 스타일의 제네릭을 지원하며, 코드의 가독성을 높이는 데 기여한다.
