[Haskell] #4 Type (1)

이건 지난 편

2020/01/12 - [공부/함수형 프로그래밍] - [Haskell] #3 Tuple

 

다음 편

2020/01/20 - [공부/함수형 프로그래밍] - [Haskell] #5 Type (2)

 

드디어 서문에 나왔던 하스켈의 특징 중 하나인 강력한 Type 시스템에 대해서 배우게되네요!

 

• 하스켈의 모든 것들은 Type 입니다.
• 하스켈은 컴파일 시간에 모든 타입을 알아내, 런타임 에러를 줄입니다.
• 하스켈은 강력한 타입 추론 (Type Inference)를 지원합니다. 

 

 

이번 장에서 다루는 내용은 아래 내용 중, 1-4 까지 입니다!

 

1. GHCi 에서 :t 로 타입 알아보기
2. 함수 Type을 선언하기
3. 타입 변수. (하스켈 계의 제네릭 사용법?)
4. 하스켈의 일반적인 타입들
5. Type Class
6. 하스켈에서 많이 쓰는 Type Class 들
7. 마무리

1. GHCi 에서 :t 로 타입 알아보기

하스켈에서 Type을 알아보는 명령어는 :t 입니다.

 

그리고, :: 타입 < 이렇게 타입을 지정해줄 수 있습니다.

 

하스켈에서는 Type을 나타낼 때는 앞을 대문자로 씁니다.

그래서 저희가 함수의 이름을 대문자로 시작 할 수 없는 거에요!

 

Prelude> :t ("hi", True)
("hi", True) :: ([Char], Bool) // ::는 이 다음에는 타입이 나온다는 뜻입니다. 함수의 타입을 정의할 때도 쓰입니다.

Prelude> :t "helloworld"

"helloworld" :: [Char]

Prelude> :t 'h'

'h' :: Char

Prelude> :t head //함수의 타입도 받아볼 수 있습니다.

head :: [a] -> a //음? 대문자가 아니죠? 이 것은 타입 변수를 사용한 것입니다. 저 a에는 어떤 타입이 와도 된다는 의미입니다! 이건 조금 있다가 설명할게요!

 

 

2. 함수 Type 선언하기

 

:: 연산자를 이용해, 함수/객체의 Type을 미리 선언하고 함수를 정의할 수 있습니다. 

하스켈에서도 함수를 선언 하고 정의하는 것이 좋은 습관이라고 하네요

 

매개 변수가 1개인 함수 선언

//함수 선언
removeNonUpperCase :: [Char] -> [Char] //1개인 경우 -> 다음에 리턴값이 옵니다.

//함수 정의
removeNonUpperCase st = [c | c <- st, c `elem` ['A'..'Z']]

 매개변수가 여러 개인 함수 선언

//함수 선언
addThree :: Int -> Int -> Int -> Int  // -> 로 이어서 나열 합니다. 맨 마지막에 오는 타입이 리턴 값의 타입이 됩니다.
//-> 의 나열로 표현하는 이유는 나중에 5장에서 나온다고 하네요...
// + 5장의 커리라는 개념 때문에 그렇다고 합니다! 나중에 링크를 걸어둘게요!

//함수 정의
addThree a b c = a + b + c

addThree 1 2 3

=> 6

특정 타입 지정 하기

Prelude> let a = 5 :: Integer // ::로 정확히 어떤 Type을 사용할 건지 지정할 수 있습니다!

Prelude> let b = 1 :: Int

Prelude> :t b //Int

b :: Int


Prelude> :t a //Integer

a :: Integer

 

3. 타입 변수

아까 전, head의 타입을 기억하시나요?

Prelude> :t head //함수의 타입도 받아볼 수 있습니다.
head :: [a] -> a

 

아까 분명 Type은 대문자로 시작한다라고 했었어요. 

그런데 이 녀석은 아니죠! 그럼 a는 타입이 될 수 없는데...?

 

사실 이 녀석은 타입 변수  Type Variable 입니다.

모든 타입으로 대치 될 수 있어요. 자바의 Generic과 흡사한 개념인 듯 합니다. 

이렇게 타입 변수를 받는 함수를 다형 함수 (polymorphic function)이라고 합니다. 객체 지향의 다형성과 흡사하네요.

 

사실 a 가 아니고 b, x, 아니면 더 긴 이름을 써도 되지만, 보통은 a, b, c, d로 써도 된다고 합니다.

 

head가 Type Variable을 쓰고 있기 떄문에, 저희가 아래와 같이 어떤 값이 들어간 리스트에서도 head를 쓸 수 있는 것이랍니다.

head [1,3,5] => 1
head "hello" => 'h'

 

타입 변수를 사용한 함수

getFirst :: (first, b) -> first // 타입 선언에 타입 변수로  first, b를 사용했습니다.

getFirst (a, b) = a

getFirst ("a", 1) => "a"

 

4 . 일반적인 하스켈 타입

저희가 사용했던 1, 'c', "안녕" 같은 자료형들도 모두 타입에 속하죠.  리마인드 하는 느낌으로 가볍게 정리할게요!

 

Int

Integer의 약자이고, 최솟값과 최댓값을 갖습니다. 범위는 컴파일러로 GHC를 사용한다면 컴퓨터의 기계어 크기로 정해진다고 합니다. 64bit CPU를 쓴다면 -2^63 ~ 2^61 - 1 까지!

 

Integral

Int와 같지만, 이 것은 표현 할 수 있는 수에 한계가 없다고 합니다. 하지만 도리어 그렇기 때문에 Int가 더 효율적이라고 하네요.

 

Prelude> let a = 5 :: Integer // ::로 정확히 어떤 Type을 사용할 건지 지정할 수 있습니다!
Prelude> let b = 1 :: Int
Prelude> let c = 1 

Prelude> :t c
c :: Num p => p //Num은 이 다음에 설명할 타입 클래스 중 하나인 Num 입니다. 자동으로는 이렇게 지정해주나 보네요... 흠..

Prelude> :t b //Int
b :: Int

Prelude> :t a //Integer
a :: Integer

Float

하나의 소수점을 가진 부동소수점 수라고 합니다.

 

Double

Float과 같지만, 정밀도가 2배 입니다. 

circumference1 :: Double -> Double
circumference1 r = 2 * pi *r

circumference2 :: Float -> Float 
circumference2 r = 2 * pi *r


circumference1 3  //Float
=> 18.849556


circumference2 3 //Double
=> 18.84955592153876

Bool

True, False로 표현되는 부울리언 값입니다.

 

Char

유니 코드 문자입니다.

 

Tuple

Tuple의 타입은 사실상 조합에 따라 무한하다고 합니다. () < 빈 Tuple 도 타입 중에 하나라고 해요!

 

다음 시간에는 4번 Type Class 부터 정리하도록 할게요! 거기서 부터 양이 많아서 ㅎㅎ...

 

으아아... 오늘도 정리하다 보니 정말 많네여... :( 어떻게 하면 잘 정리할 수 있는지 매번 고민이에요

 

다음엔 조금더 간단하고 짧게 정리해볼게요! 

 

사실...  다음 장인 3장 함수의 구문까지 읽었는데... 거기서부터 패턴 매칭이랑 재귀를 사용해서 HackerRank 문제를 풀 수 있는 반복문 등을 구현할 수 있거든요... 그런데 정리가 너무 많은 듯... 어서 3장 정리하고 싶은 마음 뿐이에요 ㅋㅋㅋㅋ 

 

잘 요약해서 다음 장 어서 나가 볼게요!! 오늘도 좋은 밤 되세요 :)