[김진산]

h::t : int list list

일 때

h : int list

t : int list list


List.hd h : int

List.tl h : int list

라고 알고 있습니다.

---

이 상황에서

t :: List.tl h

와

t @ [List.tl h]

은 같은 expression 이라고 생각했는데요

전자는 에러가 나고 후자만 유효하네요~

---

리스트의 뒤쪽에 추가 하고 싶으면 항상 같은 리스트 타입으로

@ 연산자를 이용해서 붙여야 하나요? nil의 영향인가요?

답변 부탁드립니다.

[손님]

:: 를 이용하여 붙일려면, 왼쪽의 것은 리스트의 한 원소이고 오른쪽 것은 리스트 되죠.

t 가 int list list 타입이므로, int list 타입인 List.tl h 의 왼쪽에 추가될 수가 없겠죠.

두번째 방법에서처럼 [List.tl h] 를 만들면 이것은 int list list 타입이므로 앞의 t와 같으므로, @ 연산자를 쓰면 되겠구요.