match 구문 질문

[cs71107]

pdf 설명에 보면 inl v1을 x1에 binding 한다고 하는데, 어떤식으로 이루어지는 건지 잘 모르겠습니다.... 예시를 봐도 그냥 _ 가 있어서 잘 이해가 안 가구요... ㅠㅠ
정확히는, binding 을 한 후에 그에 대응되는 evaluate 가 끝나면, binding 한 것도 해제 되어야 하는지 모르겠습니다!

[hoonga]

(match (inl 3)
    ((x) (+ x 1))
    ((y) (- y 1))
)

inl 3이기 때문에 3이 x에 bind되어 (+ x 1) 을 계산해 4를 반환해야합니다

[cs71107]

그럼 연산이 끝나면 binding을 해제해야 할까요..? @hoonga

[MerHS]

위 답이 맞고 x, y의 스코프는 각각 그 x, y가 정의된 괄호 안입니다.