타입의 기초

[Haskell] 하스켈 기초반 3강 - 타입의 기초

3강에서는 하스켈의 타입에 대해 알아보겠습니다. 프로그래밍에서 타입은 비슷한 값들을 범주로 묶는 역할을 합니다. 하스켈에서 타입 체계는 코드 상에 실수를 줄여주는 강력한 수단이 됩니다. 프로그래밍은 여러 종류의 개제(entity)를 다루는 일들을 합니다. 두 수를 더하는 경우를 생각해보면 2 + 3 2와 3은 무엇인가?라고 묻는다면 당연하게 숫자입니다. 가운데 더하기 기호는 무엇인가? 분명 숫자는 아닌데 이것을 숫자 두 개를 가지고 할 수 있는 연산 즉, 덧셈을 뜻합니다. 만약 본인의 이름을 물어보고 "Hello"라고 답하는 프로그램을 생각해 봅시다. 여러분의 이름도, Hello라는 단어도 숫자도 아닌데 그럼 이것들은 어떻게 설명할 수 있을까요? 우리는 모든 단어와 문자을 통들어 텍스트라고 부를 수도 있..