대수적 자료형

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

대수적 자료형(Algebraic data type)은 다른 자료형의 을 가지는 자료형로 다른 자료형을 생성자로 감싸고 있다. 어떤 값도 생성자의 인자가 될 수 있다. 반면에 다른 자료형은 생성자를 실행할 수 없으며 형식 일치(Pattern matching) 과정을 통해 생성자를 얻을 수 있다

가장 일반적인 대수적 자료형은 두개의 생성자를 가진 목록형(list)이다. 목록형은 비어있는 목록을 위해 Nil 또는 []를 지원한다. Cons(생성자의 준말)나 ::, :등을 이용하여 짧은 목록을 결합하여 새로운 목록을 만들 수 있게 한다. ((Cons 1 '(2 3 4)) 또는 1:[2,3,4]와 같은 방법으로 사용된다.)