문법 맥락

문법 맥락은 토큰화와 파싱 과정에 영향을 미치는 상태이다. 문법 맥락은 구분자 및 구획의 경계나, 지시·문장·선언 등을 시작하는 예약어 직후에서만 바뀔 수 있다.

-- 아래에서 모든 ([{}]) 문자와, v/^표를 친 위치 및
-- ※ 표를 친 [[개행]]에서만 문법 맥락이 바뀔 수 있다.
-- ([[구획 시작 문자]] 직후 개행이 나올 경우, 개행이 구분자로 해석되므로
--  이론적으로 문법 맥락이 두 번 바뀌는 것이 가능하다.)

-- v
use example (syntax some_keyword)      -- ※
-- v
for x := [1, 2, {                      -- ※
                   42 println()        -- ※
                   3                   -- ※
                }
                , 4] {                 -- ※
    -- v
    use example (syntax other_keyword) -- ※
    (
        3 *
        4 *
        5
    ) println(); 54 println()          -- ※
}                                      -- ※

문법 맥락은 다음 정보를 관리한다.

• 모든 기호와 예약어의 목록 (토큰화)
• 예약어와 그로 시작하는 문장, 지시, 선언 또는 연산자 구현의 매핑 (파싱)
• 기호와 거기에 대응하는 연산자 구현의 매핑 (파싱)

? 문법 구현이 무엇인지에 대해 확실한 것이 없음.