이번 발표는 루비 커미터인 타카다 유 씨가 루비의 문법과 구문 구조, 특히 `parse.y` 파일의 역할과 `Ryoma` 파서 생성기를 통한 복잡성 관리 방안을 심층적으로 다룹니다. 언어에서 문법은 단어를 조합해 의미 있는 문장을 만드는 규칙 체계이며, 프로그래밍 언어에서는 프로그램 명령어를 기술하는 형식 언어입니다. 본 발표는 루비의 구문 구조(`Syntax Structures`)에 중점을 두고 `parse.y`의 복잡성 원인과 `Ryoma`를 통한 개선 방안을 고찰합니다.
루비 구문 분석의 핵심은 parse.y 파일로, 루비 프로그램의 구문 분석 및 추상 구문 트리(AST) 생성을 위한 문법 규칙과 토큰을 정의합니다. 루비 3.3부터는 Ryoma가 파서 생성기로 사용됩니다. parse.y는 BNF(Backus-Naur Form) 형식으로 작성되며, 루비 언어의 유연하고 자연스러운 문법 때문에 “악마의 성”이라 불릴 정도로 복잡합니다. 현재 약 16,000줄에 달하며, 303개의 비터미널 기호를 포함하여 루비 문법의 다층적인 구조를 반영합니다.
루비의 문법 구조는 표현식(Expression)과 명령문(Statement)으로 구분되며, 표현식은 명령문에 내포됩니다. 루비는 이 외에도 Arg(인수)와 Primary(기본 요소)와 같은 세분화된 계층적 구조를 가집니다. Arg는 메서드 호출 인수를 처리하며 괄호 생략 등 복잡한 인자 전달을 담당합니다. Primary는 리터럴, 변수, 메서드 리시버 등 식의 기본 구성 요소를 나타냅니다. 이러한 다단계 생성 규칙은 문법의 모호성을 해결하고 루비의 유연성을 유지하는 데 필수적입니다.
parse.y의 복잡성 관리를 위해 Ryoma는 ‘매개변수화된 규칙(Parameterized Rules)’이라는 새로운 기능을 제공합니다. 이는 유사한 문법 구조를 추상화하여 재사용성을 높이는 기능으로, command_assign과 같은 복잡한 규칙들을 assignment, operator_assignment, endless_method_definition 등으로 추상화할 수 있습니다. 이를 통해 코드 중복을 줄이고 유지보수성을 향상시키며, 실제 버그 해결에도 기여합니다.
결론적으로, 루비의 유연한 구문은 `parse.y` 내부에 다수의 규칙 계층을 요구하며, 이는 기존 BNF 기법만으로는 표현하기 어려운 복잡성을 야기했습니다. `Ryoma`의 매개변수화된 규칙은 이러한 구조적 복잡성을 추상화할 수 있는 길을 열었습니다. 이는 루비의 핵심 가치인 유연한 구문을 유지하면서도 `parse.y`의 유지보수성을 극적으로 향상시키는 데 기여합니다. 앞으로 `Ryoma`는 사용성 개선 및 `Prism` 인터페이스와의 호환성 유지를 통해 더욱 발전하여 루비의 "아름다운 문법"을 미래에도 보존하는 데 중요한 역할을 할 것입니다.