[Haskell Tutorial] Type

 

📌 타입추론

Haskell 은 타입 추론이 가능하지만 보통 명시적으로 타입을 명시하는 것이

미래의 나와 다른 이들을 위해 더 나은 선택입니다.

타입은 식별자 위에 :: 와 함께 명시합니다.

 

title_ :: String -> String

 

위 타입은 String 을 인자로 받아 String 을 반환하는 함수를 의미하는 것이죠.

 

📌 Haskell 의 함수는 일급 클래스다.

사실 앞선 모든 예제에서 2개 이상의 인자를 받는 함수들을 정의했지만

사실 Haskell 에서 모든 함수는 하나의 인자를 받도록 되어있습니다.

 

makeHtml :: String -> String -> String

 

이전에 작성한 makeHtml 은 두개의 String 인자를 받아 하나의 String 을 반환하도록 되어있었는데,

사실 이는 다음과 같이 함수를 반환하는 함수 타입으로 변환됩니다.

 

makeHtml :: String -> (String -> String)

 

Haskell 에서 모든 함수는 일급 클래스 입니다.

때문에 값으로 다룰 수 있고, 함수를 반환하는 함수를 정의할 수 있죠.

이를 흔히 고차 함수 라고 부르기도 합니다.

 

Haskell 에는 다른 함수형 언어와 마찬가지로 익명함수(람다함수) 를 정의할 수 있습니다.

말 그대로 이름이 없는 함수이며, 다음과 같이 작성합니다.

 

\<argument> -> <expression>

 

1과 2를 인자로 받아 더하는 three 함수는 다음과 같이 정의할 수 있습니다.

 

three = (\num1 -> \num2 -> num1 + num2) 1 2

 

또는 다음과 같이 축약하여 표현할 수 있습니다.

 

three = (\num1 num2 -> num1 + num2) 1 2

 

이를 우리가 만든 makeHtml 에 적용하면 다음과 같습니다.

 

makeHtml = (\title body -> html_ (head_ (title_ title) <> body_ body)) "Hello World!" "This is body"

 

📌 새로운 타입 정의하기

 

Haskell 에서는 newtype 과 type 을 통해서 새로운 타입을 부여할 수 있습니다.

 

newtype

newtype 은 기존의 타입에 새로운 이름을 부여해줍니다.

문법은 다음과 같습니다.

 

newtype <type-name> = <constructor> <existing-type>

{- example -}
newtype Html = Html String

여기서 생성자(constructor)는 우리가 정의한 newtype 을 생성하는 함수라고 생각해도 됩니다.

보편적으로 생성자이름과 타입이름을 동일하게 정의하지만 달라도 사실 상관없습니다.

 

위 예시는 Html이라는 새로운 타입은 String을 표현식으로 사용하는 Html 생성자로 만들어진다 는 것을 의미합니다.

(Html "hello" 에 대응될 것입니다.)

여기서 생성한 타입이 아무리 String 을 반환하더라도, 이전에 우리가 한것 처럼 append 연산을 수행할 수 없습니다.

 

"hello" <> Html "world" // ❌ type error!

 

이는 Html 타입이 엄연히 String 타입과는 다르기 때문인데,

이를 통해 우리는 타입간에 캡슐화 를 구현할 수 있게 됩니다.

 

newtype 추출하기

newtype 이 감싸고 있는 type 을 사용하기 위해서는 두 가지 방법이 있습니다.

 

1️⃣ switch 표현식 + 패턴 매칭 사용하기

 

switch 표현식 을 이용하면 case 문에 패턴 매칭을 통해 타입을 추출할 수 있습니다.

 

case <expression> of
  <pattern> -> <unpacked-type>

 

여기서 expression 은 추출을 원하는 대상이고, pattern 은 구체적인 타입 형태입니다.

예시를 통해 사용법을 살펴보겠습니다.

 

만약 다음과 같은 Structure 타입이 있다고 한다면,

 

newtype Structure = Structure String

 

아래와 같이 추출이 가능합니다.

 

getStructureString :: Structure -> String
getStructureString struct = 
    case struct of
        Structure str -> str

 

2️⃣ 함수의 인자에서 패턴 매칭 사용하기

 

별도의 추출 함수를 선언하는 대신, 해당 타입을 사용하려는 함수의 인자에서 패턴 매칭을 하는 방법도 있습니다.

 

func <pattern> = <expression>

 

이 방법으로 getStructureString 를 정의하면 다음과 같습니다.

 

getStructureString :: Structure -> String
getStructureString (Structure str) = str 

 

type

Haskell 의 type 은 그냥 type alias 입니다.

별도의 타입 생성자가 없으며, 특정 타입에 별칭을 정해주는 용도입니다.

이를 통해 특정 상황에서 좀 더 명시적인 타이핑이 가능해집니다.

 

type <type-name> = <existing-type>

{- example -}
type Title = String