[Haskell Tutorial] Data Type

 

📌 data 타입

Haskell 에서 타입을 정의하는 또 다른 방법 중 하나는 data 입니다.

 

data <type-name> <type-args>
    = <type-constructor> <type>
  | <type-constructor> <type>
  | <type-constructor> <type>
  | ...

 

newtype 과 다르게 여러 타입인자를 받을 수 있고,

여러 constructor 를 하나의 타입에 매칭시킬 수 있다는 특징을 가지고 있습니다.

 

constructor 뒤에 타입인자는 0개 이상을 정의하면 됩니다.

다음은 data 의 예시입니다.

 

data Bool = True | False

 

어째 형태가 우리가 흔히 사용하는 enum 과 많이 닮아있지않나요?

또다른 예시를 살펴보겠습니다.

 

data Person = Person String Int -- 이름과 나이를 인자로 받는 Person 타입

 

위는 이름과 나이를 인자로 받는 Person 타입을 정의한 것입니다.

그런데 위와 같이 타입을 정의할 경우 각각의 타입이 의미하는 바가 무엇인지 명확하지 않다는 문제가 있습니다.

단순한 타입이라면 문제가 안되겠지만, 복잡해질수록 파악이 힘들 것입니다.

이럴때 record syntax 를 사용하면 명확한 타이핑이 가능해집니다.

 

💡 Record Syntax

record syntax 는 constructor 각각의 타입에 필드를 붙일 수 있는 기능입니다.

주의할 점은 필드이름 충돌이 발생할 수 있다는 것인데,

이를 피하기 위해 보통 constructor 명을 prefix 로 사용합니다.

 

data Person = Person { personName :: String, personAge :: Int }

{- ✅ 이제 다음과 같이 표현할 수 있습니다. -}

person = Person { personName = "owen", personAge = 28 }

 

Haskell 은 또한 필드를 추출할 수 있는 함수를 자동으로 생성해줍니다.

위 예시에서 나이 정보를 추출하는 함수를 사용하면 다음과 같습니다.

 

ghci > owen = Person { personName = "owen", personAge = 28  }
ghci > personAge owen // ✅ personAge 필드를 추출하는 함수가 자동생성됩니다.
28

 

record syntax 에는 필드를 업데이트 할 수 있는 방법도 제공해주는데,

이때 원본을 바꾸는 것이 아니라 새로운 값을 반환합니다.

 

ghci > personAge (owen { personAge = 20 })
20
ghci > personAge owen // ✅ 원본을 변경하지 않습니다.
28

 

📌 Tuple & Either

data 로 정의된 타입 중 먼저 살펴볼만한 두가지 타입 Tuple 과 Either 가 있습니다.

 

1️⃣ Tuple

먼저 Tuple 은 우리가 흔히 아는 튜플 자료형과 같습니다.

Haskell 에서는 다음과 같이 타입이 정의되어있습니다.

 

data Tuple a b = Tuple a b

 

여기서 a, b 는 각각 제네릭 타입이기 때문에 어느 타입이든 받을 수 있습니다.

튜플은 고정길이의 자료형이며 다음과 같은 축약 문법도 사용 가능합니다.

 

Tuple "apple" "banana"

{- 다음으로 축약표현 가능합니다. -}

("apple", "banana")

 

2️⃣ Either

Either 은 때에 따라서 두가지 타입 중 하나를 선택할 경우 유용합니다.

흔히 에러 처리를 할 때 이 타입을 사용하면 유용한데, 다음과 같이 정의되어있습니다.

 

data Either a b = Left a | Right b

 

다음과 같이 패턴매칭과 함께 활용하면 에러 핸들링이 가능할 것입니다.

 

case response of
    Left error -> {- 🚨 error case -}
    Right result -> {- ✅ 200 response -}

 

📌 참고자료

Haskell Data Types in 5 Steps - Monday Morning Haskell