검색 결과 12 개 일치합니다

이제 정상적으로 받아지네요ㅎ
답변 감사드립니다.

윈도우 버전은 아직 업데이트가 안된것 같습니다.
Inception.mli 파일에 mals가 없네요.

처음 init 상태에서 전이하면서 한 칸 오른쪽으로 가면 림보가 있으므로 그 다음 state는 go_right이 아닌 init일 거라고 예상했지만

실행 결과는 그냥 go_ ...

사소하긴 한데
5-1의. righsub는 rightsub인거죠?

5-2에서, match-rule의 반환타입은
(cons (cons todo move) state) 형태인가요, 아니면
(cons todo (cons move state)) 인가� ...

숙제 3-4 같은 경우 3-3의 구조를 아는 상태에서 짜게 되는
일부 함수(size, equal)가 포함되어 있습니다.

그러면 제출은 3-3의 함수를 포함하여 제출해야 ...

좀 길지만 6이 나오네요.

두개 올려볼게요. (제가 한건 아니고.. 숙제 4-2 번역기가 해줬습니다.)

치환 잘 되는지 확인했던 코드입니다.
(\x.\y.x x y) y ...

당연한 질문이지만.

답은 내놓기는 하는데,
시간이 좀 느린 것은 상관없죠?

덧셈 뺄셈 계산에 주로 시간을 잡아먹는 것 같은데,
구현만 제대로 되 ...

제가 수업시간에 한 내용을 이해를 잘 못해서 그런지 모르겠는데,
제 기억에는 왠지 모르게 eager evaluation과 normal order reduction이
다르다고 들은 기억이 ...

(*(&x)).x := 20;

(* *)가 주석이라서 그럴겁니다.
*를 쓰실 거라면 ( *처럼 한칸 띄워주셔야 할거에요.

숙제 5에서 Assignstar, 그러니까 *x:=2 와 같은 구문이 다음과 같이 해석되는데, 정상인가요?
(우선순위를 고려하면 이 해석이 맞긴 한 것 같은데.... 모르� ...

당연해 보이지만 혹시 잘못 이해하고 있을까봐 질문 몇 개 드립니다.

1. Assign(Recassign)에서 변수 형이 다른 경우는 Exception 처리해야 하는건가요?
(변� ...

2009-12907 김부근 제본 신청합니다.

실명으로 재가입하였습니다...