[장수원]

숙제2 관련 모든 공지사항을 앞으로 이 글타래에 올리겠습니다.

자주 확인해 주세요.

• 3번의 함수

  코드:

  not, and, or

  이름을,

  코드:

  cnot, cand, cor

  로 각각 바꿔주세요.
  

[이우석]

여러분들에게 이번숙제의 의도를 말씀드려야 할 것 같습니다. 숙제2번의 의도는 '요약'을 몸에 익히는 것입니다.

요약이란 만드는 쪽과 쓰는 쪽을 둘로 나누어 생각하는 것을 말합니다. 무엇을 만들고 쓰느냐에서 무엇은 프로시저도 될 수 있고 데이터도 될 수 있습니다. 첫번째 숙제에서 프로시저 요약을 익혔다면 이번숙제에서는 데이터요약을 몸에 익히시게 될겁니다.

함수나 데이터를 만들고 쓰는 쪽 둘로 나누어 생각할 때, 둘 사이에 요약의 경계를 그을 수 있습니다. 이것은 요약을 할때 지켜야할 가장 중요한 성질입니다. 요약의 경계란 무엇이냐하면, 예를들어 다음과 같이 유리수를 만드는 함수, 유리수의 분자 분모를 꺼내오는 함수를 정의한다고 할 때,

[장수원]

[장수원]

숙제 상의 는 모두 pair가 아닌, 인자 2개인 것으로 하겠습니다.

예컨데, Ex2의 함수



에서 make-branch는 각각 nat 타입과 branch 타입을 가지는 2개의 인자를 받는 함수입니다.