검색 결과 18 개 일치합니다

웹상에서도(IE8) 파일도 31쪽에서 32쪽으로 가려고 하면 프로그램이 멈추네요.

제가 글쓴이가 아닌데 계속 질문을 해버렸군요 ㅠ
감사합니다 ㅎㅎ

그럼 제출할 때는 ": Queue with type ~~"을 빼고 a' list 등으로 나오게해야 하나요?

예전에 프원을 들을때 모듈 타입을 작성한뒤 그 타입을 따르는 모듈을 작성할때

module type Queue =
sig
~~~
end

module IntListQ : Queue with type element = int ...

답변 감사합니다 ^^

5번과 9번은 각각 4번과 8번 문제에 포함되는 타입 정의를 같이 쓰는데,

5번, 9번 코드에도 타입 정의를 포함시켜줘야 하는건가요?

int로 나타내면 같은 수인데 이친수로는 여러가지 표현 방법이 생길 수 있습니다.

예를 들어 -1은 MONE(NIL)도 되고, ONE(MONE(NIL))도 되는 것처럼요.

어떻 ...

알겠습니다 ^^

두 자연수의 합/곱을 만드는 함수와, 숫자로 변환하는 함수/역함수를 정의하라고 하셨는데

합/곱을 꼭 먼저 정의하고 nat2n, n2nat를 뒤에 작성해야 하� ...

답변 감사합니다! ^^

for_all 이라는 함수를 짜는데

아무리 생각해도 Nil이면 false를 리턴해야 할거 같습니다.

만약 처음부터 Nil이면 조건에 해당하는 원소가 없으니까요.. ...

감사합니다

제본 신청합니다~

hw1.pdf 파일에는 9번까지 있는데

제출 페이지에는 8번까지 밖에 없어요..

제출 페이지가 잘못된 것인가요?

QueueMake로 만드는 큐가 리스트 한개로 만드는 거든, 두개로 만드는 거든 상관없이 만들어야 하는건지 궁금합니다.

상관없다면 좀 어려운거 같아서요. ...