[조동철]

1. 코드에 타입 주석 붙일 때,

hw2에서 언급되는 tree나 mobil같은 타입을 사용해도 되나요?

아니면, 모범답안 코드만 보고,

int, symbol, T, unit 처럼 수업에서 다룬 타입만으로 표현해야 하나요?



2. hw1,2 pdf 파일에 적혀있는 함수들의 타입은 애초에 무시하고

모범답안의 코드에서 알 수 있는 정보만으로 타입 주석을 붙이는건가요?

[최민아]

1.
1-3,1-5,1-6과 2-1 모범답안에는 수업에서 다룬 타입으로 표현해 주세요.
2-2, 2-3은 tree 타입을 추가적으로 사용할 수 있습니다.

1-3,1-5,1-6 모범답안에는 수업에서 다룬 타입으로 표현해 주세요.
2-1, 2-2, 2-3은 tree 타입을 추가적으로 사용할 수 있습니다.

2.
위 답변을 참조해서 작성하시면 되겠습니다.

[박준호]

함수 leaf와 node, is-leaf? leaf-val, nth-child 를 해야하는데,
leaf는 pair로 할 수 있지만,
node의 경우는 node와 tree leaf등을 사용할수 없으면,
tree list -> symbol(<- 'node) X tree list 처럼 정의되는 함수는 어떡하나요??
pair가 재귀적으로 사용되었다고 맨 상단의 pair만 쓸순 없는거잖아요.

최소한 tree list -> symbol X tree list 처럼은 써야하지 않나요..?

그리고 오늘 수업에서 T bintree, T tree 이런식으로 자료구조 내부 원소를 항상 언급하셨는데 T를 앞에 다 붙여줘야할까요?

[최민아]

2-1번에서도 tree를 사용할 수 있는 것으로 수정하겠습니다. 죄송합니다.

이번 숙제에서는 숙제 문서에 나온대로 T 없이 tree로만 표현해 주세요.

그리고 define 내에 있는 define에 대해서도 주석을 작성해 주세요.

list의 list에 대해서는, T list list, 혹은 int list list와 같은 방식으로 표현해 주세요.

[조동철]

2-1은 tree타입을 쓰지 않고 표현할 수 있지 않나요?

node의 경우라 하더라도,

제시된 모범답안 코드만 보면,

tree_list를 T로 볼 수 있다고 생각합니다.

오히려 코드만 보면, tree_list를 tree라는 타입으로 추정하는게 불가능하지 않나요?

[최민아]

코드만 보면 T로 볼 수도 있으나, 그것은 코드에서 유추할 수 있는 가장 general한 타입이고, 덜 general한 타입, 혹은 user defined type으로 유추하는 것도 가능합니다. 컴퓨터는 프로그래머의 의도를 모르므로 가장 general한 타입을 유추해줍니다.
하지만 여기서는 실제로 node 함수의 인자로 임의의 타입을 넣지 않고, tree만 넣을 것이기 때문에, tree list를 받는 타입으로 표현하는 것이 맞습니다.

[조동철]

hw2 pdf 파일에 있는

2-1번 문제에 만들어야 되는 5개의 함수의 타입이 tree를 사용해서 적혀 있습니다.

tree 타입을 사용해서 2-1주석을 달게 된다면, 그냥 pdf파일에 있는 타입을 그대로 적는게 가장 정확할 텐데,

이렇게 그냥 적으면, hw3-1번 문제의 의미가 없지 않을까요?

[강동옥]

혼란을 드려 죄송합니다.

2-1에 타입을 적는것에 대해 좀더 논의 해보고 답변해드리도록 하겠습니다.

[강동옥]

정정하겠습니다.

2-1번은 순수하게 수업시간에 배운 타입을 가지고 작성해주세요.

(그러니까, 어떤 함수를 직접 이용하는 것이 아니면 "tree를 만든다"라는 생각에서 나오는 부분은 고려하실 필요가 없습니다.)

[윤형석]

[강동옥]

is-leaf?의 타입을 쓸때 순수하게 is-leaf만 보고 판단해주세요.
다른 함수도 마찬가지입니다.
다만 만약에 함수 정의 안에 다른 함수를 콜하고 있다면 그때는 그 함수도 참고해야겠지요.