검색 결과 21 개 일치합니다

넵, 당시에 모순이라는 데까지 생각이 미친 건 아니고, 3-1만 보고 상수는 그대로 했습니다.

이건 제 부주의가 맞습니다. 다만 CPS라는 걸 처음 접하는 ...

안녕하세요, 수강생 최영진입니다.

6번 결과에 대한 클레임 사항입니다만, 저와 같은 문제를 공유하는 수강생이 많아보여 게시판에 올립니다.

저� ...

저도 동일한 문제가 있습니다.

SM5의 명세만 보면 unbind 한 후에도 스택의 주소를 사용할 수 있는 것 같은데, 이렇게 되면 부품 세 개가 맞는지 궁금합� ...

아, 넵. 감사합니다.

안녕하세요, 수강생 최영진입니다.

(w :: S, M, E, bind x :: C, K)
⇒ (S, M, (x, w) :: E, C, K)

에서 w는 Value + Proc + (Var × Loc) + (Var × Proc) 이고
Value = Integer + Boo ...

저도 정말 많은 도움 되었습니다. 모두 true로 나옵니다.

감사합니다.

아, 다시 확인해보니 in 2015 문제였습니다.

그러고보면 examples 내에도 코멘트 있는데 멍청했네요;;

감사합니다.

안녕하세요, PL 수강생 최영진입니다.

K- Language 정의를 보면 Comments 부분이 (* *) 으로 명시되어 있는데,

이 방식대로 주석을 사용하면 parser 에러가 � ...

안녕하세요, PL 수강생 최영진입니다.

2-2를 보면 crazy2val (crazy2add(z,z′)) = crazy2val(z) + crazy2val(z′) 식을 만족해야 한다고 나오는데요.

제출 파일에 2-1 ...

아, 알겠습니다.

네 조원 분이랑 얘기가 되었는데요, 금요일날 저 혼자 가기로 했습니다.
이 질문에서 궁금했던 점은 그게 아니라, 일정이 미뤄지면 ...

헉 그러면 2/3차가 어떻게 되는 것인가요?

2차를 위해 짠 코드는 쓰일 일이 없나요 ㅠㅠㅠㅠㅠ?

원래 프로젝트 일정은 수요일날 끝나게 되어있잖아� ...

감사합니다.

그런데 아직도 잘 이해가 안 되는데요...

StringQQ를 만들기 위해서는 인자로 (ArgTy를 만족하도록 처리된? 감싸준?)StringQ를 넣어야 할 것 � ...

아참

저의 경우는 지금

숙제 3번에 StringSetQ를 가져온 후

ArgStr (string type)
ArgStringQ (StringSetQ type)

으로 주고 있습니다. 이렇게 하면 안 되나요?

7-3에서
module StringQ = QueueMake (x)
module StringQQ = QueueMake (y)

x,y 부분에 뭐가 들어가야 하나요?
ArgTy 를 만족하도록 미리 모듈로 만들어 놓는건가요?

특 ...

StringQ, StringQQ를 어떻게 제출하나요?

음..그러니까 실행 시 module functor로 만들 순 있겠지만

그걸 제출하려면 어떻게 해야하죠?

module functor가 코드� ...