검색 결과 8 개 일치합니다

답변 감사합니다.

이미 듀가 지나서 질문 하나만 더 드리겠습니다. 만일 말씀하신 대로 질문2의 답이 poly에서도 int->int가 되어야 한다면, 채점하실 때
"이런 경우에 ...

1. 알겠습니다. 감사합니다.

2. 방정호님도 말씀하셨듯, 저도 f의 타입이 저 시점에 결정된 것은 아니므로 정해지지 않아서 'a->'a로 생각했습니다.(� ...

"e1이 tau1, e2가 tau2이고 둘의 타입이 같으면서 i,b,s,l 중 하나이다"가 조건이면 그럴 수 있지만, 동일한 타입 tau를 가지므로 loc 안의 내용도 같아� ...

1) loc eq에서 (t1 loc) = (t2 loc) 일 때 t1, t2가 같아야 한다고 하셨는데, 이때 t1과 t2의 조건은 없는 것이지요? (즉 const거나 loc 말고도, 함수나 pair 타입이 와� ...

이미 https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4191 에서 "실행이 되는지 아닌지"를 분석하는 것은 어려우므로 적당히 해도 된다고 말씀하셨는데요,
&qu ...

1번 주석은 어떻게 되나요?

프로젝트 1번 주석은 어떤 내용을 코드의 어느 부분에 얼마나 자세히 적어야 하는지 모르겠습니다. 주석에 관한 글을 못 찾겠어서...

프로젝트 4번은 ...