Your First Parser

파서 조합기 (Parser Combinators) 소개

파서 조합기는 복잡한 패턴을 처리하는 강력한 기법입니다. 기존의 단일 정규 표현식(regex)은 읽고, 테스트하고, 확장하기 어렵다는 단점이 있습니다. 반면, 파서 조합기를 사용하면 각자 하나의 역할만 수행하는 작은 모듈형 파서들을 작성한 후, 이들을 결합하여 전체 로직을 만듭니다. 이는 코드의 가독성을 높이고 에러 메시지를 명확하게 만들어줍니다.

파서를 구성하는 세 가지 기본 방법은 다음과 같습니다:

1. Sequence (순차적 실행): A를 파싱한 후 B를 파싱합니다. (let bindings 사용)
2. Choice (선택): A를 시도하고, 실패하면 B를 시도합니다. (Parseff.or_ 사용)
3. Repetition (반복): A를 0번 이상 반복하여 파싱합니다. (Parseff.many 사용)

본 가이드는 이 조합자들을 활용하여 키-값(key=value) 형식의 설정 파일 파서 전체를 단계별로 구축하는 실습 과정입니다.

1단계: 기본적인 Key-Value 쌍 파싱

가장 먼저, key와 raw_value 파서를 정의합니다. Parseff.take_while 같은 조합자는 주어진 조건(predicate)을 만족하는 문자를 읽어들이고, ~at_least:1 옵션은 최소한 한 글자가 매치되어야 함을 보장합니다.

• Key 파서: 영문자, 숫자, 언더스코어(_)로만 구성된 문자열을 추출하도록 정의됩니다.
• Value 파서: 개행 문자( )가 아닌 모든 문자를 읽습니다.

이후 entry 파서는 키와 값 사이에 공백과 = 기호를 건너뛰는(skip) 과정을 거쳐 최종적으로 (key, value) 쌍을 반환합니다. 이 과정에서 순차적 실행(Sequence)의 개념이 적용되어 각 단계가 입력 커서(cursor)를 전진시킵니다.

2단계: 복잡한 라인 구조 처리 (Comment & Blank Line)

설정 파일은 주석(#)이나 빈 줄이 포함될 수 있습니다. 이 경우, 파서는 '주석일 가능성'과 '엔트리(entry)일 가능성', 그리고 '빈 줄일 가능성' 중 하나를 시도해야 합니다.

• Parseff.or_ (Choice): 두 가지 대안 중 하나가 성공하면 그 결과를 반환하고, 실패하면 백트래킹하여 다음 대안을 시도합니다. 이는 A 또는 B의 구조에 적합합니다.
• Parseff.one_of: 세 개 이상의 대안(예: 주석, 엔트리, 빈 줄) 중 하나가 성공할 때까지 순서대로 시도하는 데 사용됩니다. 이 방식을 통해 라인 파서는 항상 성공하도록 설계될 수 있습니다 (마지막 None 분기 덕분).

3단계: 전체 파일 구조화 및 타입 지정 값 처리

Parseff.sep_by는 구분자(separator)로 분리된 반복적인 요소들을 파싱하는 데 유용합니다. 이를 이용해 여러 라인(line)을 개행 문자( )라는 구분자로 연결하여 전체 설정 파일 구조를 완성합니다.

가장 중요한 발전은 타입 지정 값 (Typed Values) 처리입니다. 기존에는 모든 값이 단순 문자열(String)로 취급되었지만, 실제 애플리케이션에서는 부울(Bool), 정수(Int), 태그 리스트(Tags)와 같은 명확한 타입이 필요합니다.

• 타입별 파서: bool_value는