[Haskell] List

List는 하스켈에서 제공하는 내장 연결리스트 타입이다. 배열처럼 표현하지만 배열이 아니고, O(1) 접근도 불가능하다.

타입은 [T]로 표현하고, 값은 [a, b, c, ...]로 표현한다.

그냥 print로 찍어도 잘 보여준다.

첫번째 요소 반환 head
리스트의 첫번째 요소를 반환한다.
별것 아닌것같지만 재귀적으로 리스트에 접근할때 꼭 필요한 녀석이다.
tail과 함께 쓰이곤 한다.

첫번째를 제외한 나머지 반환 tail
head를 뺀 나머지를 반환한다. 보통 이걸 써서 재귀적 접근을 수행하곤 한다.

저 두개를 응용하면 이런 순차적 처리가 편리하다.

인덱싱 연산자 !!
특정 요소에 접근하려면
리스트 !! 인덱스
로 접근할 수 있다. 인덱스는 0부터 시작한다.

length 함수
길이는 length 함수로 가져올 수 있고

++연산자
리스트끼리 ++ 연산자를 사용하면 리스트를 이어붙일 수 있다.

범위 표현식 ..
저기선 다 따옴표로 하나하나 적었지만, 일련된 값이라면 .. 범위표현으로 쉽게 표현할 수도 있다.

sum 함수
하스켈에는 편의를 위한 수많은 함수들이 제공되는데, sum도 그중 하나다.
이건 리스트를 순회하며 값을 다 더해준다.

product 함수
sum이 다 더한거라면 이거는 다 곱하는 것이다.

map 함수
일괄 처리를 간편하게 하기 위한 고차함수다.
각각의 요소에 대해 받은 함수를 수행한 결과를 집어넣은 새로운 리스트를 만들어 반환한다.

이런식으로도 작동한다.
섹션과 부분 함수를 응용한 거라고 하는데 이건 따로 알아보도록 하자

filter 함수
이것도 고차함수다. 각각의 요소에 대해 받은 함수가 true를 반환한 것만을 모은 리스트를 생성해서 반환한다.
아래 코드는 홀수만을 걸러내서 반환한다.

앞에 붙이기(prepend) 연산자 :
A : List
와 같이 하면 List의 앞에 A 요소가 추가된다.
그리고 오른쪽부터 평가한다.