타입의 기초2

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

이번 5강에서는 지난번 배운 타입의 기초에 2번째 시간입니다. 이번 장에서는 숫자 타입들이 하스켈에서 어떻게 처리되는지 보여주고 타입 시스템의 몇 가지 중요한 특성을 소개하는 시간입니다. Num 클래스 수학에는 함께 더할 수 있는 수의 종류에 몇가지 제약이 존재합니다. 예를 들어서 2 + 3(두 자연수) (-7) + 5.12(음의 정수와 실수) 1/7 + π(유리수와 무리수).. 등이 있습니다.이것들은 모두 타당하며 사실 모든 임의의 두 실수는 덧셈이 가능합니다. 그런 일반성을 가장 단순하게 포착하려면 하스켈에서는 일반화된 Number 타입이 필요하고 그런 (+)의 시그니처는 단순히 아래와 같아야 합니다. (+) :: Number -> Number -> Number 하지만 이런 설계는 컴퓨터가 산수를 하..