Does `match` clause create a new stackframe?

[simnalamburt]

TL;DR

match clause가 새 스택프레임을 만드나요?

설명

The E Programming Language 스펙상, 같은 스택프레임에서 동일한 name이 여러번 선언된것은 ill-formed인 반면, 다른 스택프레임에선 같은 name이 등장해도 괜찮습니다. 문제 스펙상 ill-formed 입력에 대해선 raise를 내거나 아무 결과를 리턴해도 무관하기 때문에, 새로운 스택프레임이 언제 생성되냐는 프로그램의 동작을 정의하는데에 있어 굉장히 중요한 문제입니다.

아래 두 clause의 경우 비교적 명확합니다

• let clause의 경우 새 스택프레임이 생긴다고 문제에 명시되어있습니다
• app clause의 경우 문제에 명시되어있지는 않으나, 함수 호출이니 새 스택프레임이 생긴다고 생각하는것이 상식적이겠습니다

반면 match clause의 경우 새 스택프레임이 생기는것인지 아닌지 명확하게 명시되어있지 않습니다. match로 인해 새 스택프레임이 생길 경우, 아래의 프로그램은 정상적으로 실행되어야하지만 새 스택프레임이 생기는것이 아닐경우, ill-formed입니다.

(def is_positive (i)
  (match (> i 0)
    ((i) (inl 0))
    ((is_positive) (inr 0))
  )
)

match가 함수호출은 아니므로 새 스택프레임을 만들지 않는다고 생각해도 말이 됩니다. 반면, match clause 안의 identifier가 바깥 변수들과 겹치는것이 불가능한것도 어색하고 대부분의 기존 프로그래밍 언어들과 동작이 다르므로 새 스택프레임을 만든다고 생각해도 말이 됩니다.

match clause가 새 스택프레임을 만드나요 만들지 않나요?

[MerHS]

기본적으로 저희 언어에서 mutable variable은 없습니다.

그러므로 모든 새로운 이름 선언은 shadowing을 사용해서 이전의 이름을 감추어야만 합니다.

match의 각 case 안에서 새로운 scope이 생기는 것으로 생각해주시면 됩니다.

프레임을 넣거나 빼는것은 자유입니다. 위의 설명만 지키시면 됩니다.
이런 의미에서 제시하신 예제 코드는 잘 돌아가는 코드입니다.

(스택 프레임이라고 하니까 어색한데, C 프로그램에서의 전형적인 '스택' 프레임이라기 보다는 변수이름과 값을 짝지어놓는 Environment로 생각하시는게 더 올바른 접근인 것 같습니다)

[simnalamburt]

문제 스펙상 한 프레임에 여러 이름이 들어오면 ill-formed라고 쓰여있는데, 방금 해주신 설명은 문제 스펙과 상충하지 않나요?

[MerHS]

저 문장은 정확히 말하자면 한 프레임에 같은 이름을 여러번 선언하는 경우가 저희 테스트에 발생하지 않는다고 봐야 할텐데

문장 대로라면 match의 각 케이스에 대해서도 frame을 새로 만들어주어야 겠네요

수강생 분께서 걱정하시는 edge case에 대해서는 검사하지 않는다고 보시면 됩니다.

[simnalamburt]

감사합니다 👍