검색 결과 14 개 일치합니다

수업 시간에 배운 내용으로 미루어 보아
프로그램을 실행시키기 전에 syntax만 보고 타입을 check하는 거라고 생각했었는데
뼈대 코드를 보니 M_LowFat.run� ...

And(e1, e2)연산의 결과가 true이면
1을 리턴한다
e1을 리턴한다
둘다 상관없다.(어떤 양수값을 리턴한다)

중 어느게 맞는건가요?

무슨 이유에서인지 모르겠지만 갑자기 컴파일이 문제없이 되네요....

-------

5-2번 숙제를 하고 있는데요,
여기서는 lambda.ml에 정의된 lexp 타입을 쓸 ...

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=2401 에서

AND 연산에서 0은 false, 0이 아닌 수는 true처럼 사용하세요.
참고로 (1 AND 2) = 1 입니다.

라고 하셨는데요. ...

\x.x 와 \a.a 는 같은 람다식인가요?

만약 같은 람다식이라면,
reduce (encode (결과로 자연수 0을 내놓는 어떤 M0 프로그램))
의 결과가
어떨때는 \f.\x.x 이 ...

numch (n) 에서 n이 음수인 경우는 어떻게 처리하나요?
그리고 0인 경우는 음수인 경우와 같은 방법으로 처리하면 되나요, 아니면 1가지 방법이라고 해야 ...

뼈대코드와 함께 올려주신
K- 프로그램 example들을 보면
bind되지 않은 변수에 대하여 assign을 하는 경우가 종종 있는데
이것이 가능한가요?
아니면 오� ...

env_entry 의 정의가
...
and env_entry = Addr of Loc.t | Proc of id * exp * env
...

로 되어 있는데요, procedure가 여러개의 인자를 받을 수 있으므로

...
and env_en ...

SIGMA (INT 1, INT 10, SIGMA(X

SIGMA에서 앞에 두 exp는 INT 타입만 들어온다고 가정해도 된다고 하셨으니까 위와 같은 입력은 들어오지 않는 것 맞죠?

SIGMA ...

아 그렇구나ㅎㅎ
감사감사~

goRight 의 의미에 관해서 인데요,
처음에는 오른쪽으로 한 칸 가는 걸로 생각했는데
예시로 주어져 있는 goLeft를 보니 형제들 중 가장 왼쪽으로 가는 함 ...

goDown 함수에서 내려갈 때, node에 여러개의 tree가 매달려 있을 경우 제일 앞에 있는 tree로 내려가도록 하면 되나요?

glue 함수들을 구현할 때 인자로 들어오는 네 개의 무늬가 같은 크기여야 하는데
그렇지 않은 경우에 대한 예외처리를 해주어야 하나요
아니면 합당� ...

2. 입구는 (0,0) 으로, 출구는 (n-1, m-1) 로 합니다.

라고 밑에 있는 글에서 답변하셨는데 숙제 pdf 파일에서는 입구와 출구가 맨 윗줄의 방과 맨 아랫줄� ...