프로젝트 3번 질문입니다.

천세린 · 가입: 2012년 9월 17일 올린 글: 14

tag가 붙은 명령문으로 seq가 들어갈 수 있나요?

ex) Tag ("l",Seq(HasNum("x",2),HasVar("y","x")))

강동옥 · 가입: 2009년 9월 18일 올린 글: 602

네 inductive하게 가능한것은 모두 가능합니다.

천세린 · 가입: 2012년 9월 17일 올린 글: 14

그럼 제가 쓴 예시 같은 경우에는

l : HasNum("x",2) ;
HasVar("y","x");

다시 말해 Seq로 묶인 것들 중 가장 앞에서부터 시작하게 되는 건가요?

강동옥 · 가입: 2009년 9월 18일 올린 글: 602

Tag ("l",Seq(HasNum("x",2),HasVar("y","x")))
를 소스코드로 표현하면

강동옥 · 가입: 2009년 9월 18일 올린 글: 602

제가 드린 파서에서 어떻게 뱉어내는지가 궁금하신거라면

main.ml에 main()이 실행되도록 바꾼후 컴파일 하여

./run -ppc [파일명]

을 사용하면 파싱후에 어떻게 자료구조를 만드는지 볼 수 있습니다.

단, 이것만이 유일하게 가능한 자료구조는 아닙니다.