새로운 프로그래밍 언어의 문법 사양

이 문서는 새로운 프로그래밍 언어의 문법 규칙을 자세히 정의하며, 형식, 표현식, 패턴, 함수 정의, 형식 정의 등 다양한 측면을 다룹니다. 일련의 컨텍스트 프리 문법 규칙(BNF 표기법)을 통해 언어 구조를 정확하게 설명하고, 컴파일러 및 인터프리터 구현을 위한 견고한 기반을 제공합니다. 이 강력한 언어는 함수형 프로그래밍, 패턴 매칭, 형식 추론 등의 고급 기능을 지원합니다.