[elm] 유형 및 유형 별칭 간의 Elm의 차이점은 무엇입니까?

사용 사례에 초점을 맞추고 생성자 함수 및 모듈에 대한 약간의 컨텍스트를 제공하여 이전 답변을 보완하겠습니다.

용도 type alias

1. 레코드에 대한 별칭 및 생성자 함수 만들기
   가장 일반적인 사용 사례 : 특정 종류의 레코드 형식에 대한 대체 이름 및 생성자 함수를 정의 할 수 있습니다.

   type alias Person =
       { name : String
       , age : Int
       }

   타입 별칭을 정의하는 것은 자동으로 다음 생성자 함수 (의사 코드)를 의미합니다.
   Person : String -> Int -> { name : String, age : Int }
   예를 들어 Json 디코더를 작성하려는 경우 유용 할 수 있습니다.

   personDecoder : Json.Decode.Decoder Person
   personDecoder =
       Json.Decode.map2 Person
           (Json.Decode.field "name" Json.Decode.String)
           (Json.Decode.field "age" Int)

2. 필수 필드 지정
   때때로 “확장 가능한 레코드”라고 부르는데 이는 오해의 소지가 있습니다. 이 구문은 특정 필드가있는 일부 레코드를 예상하도록 지정하는 데 사용할 수 있습니다. 예 :

   type alias NamedThing x =
       { x
           | name : String
       }
   
   showName : NamedThing x -> Html msg
   showName thing =
       Html.text thing.name

   그런 다음 위의 함수를 다음과 같이 사용할 수 있습니다 (예 :보기에서).

   let
       joe = { name = "Joe", age = 34 }
   in
       showName joe

   ElmEurope 2017에 대한 Richard Feldman의 강연은 이 스타일을 사용할 가치가있는시기에 대한 추가 통찰력을 제공 할 수 있습니다.

3. 물건 이름 바꾸기
   새로운 이름이 예처럼, 나중에 코드에서에 여분의 의미를 제공 할 수 있기 때문에, 당신은이 작업을 수행 할 수 있습니다를

   type alias Id = String
   
   type alias ElapsedTime = Time
   
   type SessionStatus
       = NotStarted
       | Active Id ElapsedTime
       | Finished Id

   코어에서 이러한 종류의 사용에Time 대한 더 나은 예 는 .

4. 다른 모듈에서 유형 다시 노출
   패키지 (애플리케이션이 아님)를 작성하는 경우 한 모듈, 아마도 내부 (노출되지 않음) 모듈에서 유형을 구현해야 할 수 있지만 유형을 노출하려는 경우 다른 (공용) 모듈. 또는 여러 모듈에서 유형을 노출하려고합니다.
   Taskin core 및 Http 의 Http.Request 가 첫 번째 예 이고 Json.Encode.Value 및 Json.Decode.Value 쌍이 나중의 예입니다.

   유형을 불투명하게 유지하려는 경우에만이 작업을 수행 할 수 있습니다. 생성자 함수를 노출하지 않습니다. 자세한 내용은 type아래의 사용법을 참조하십시오 .

위의 예에서 # 1 만 생성자 함수를 제공한다는 점은 주목할 가치가 있습니다. 형식 별칭을 # 1에서 module Data exposing (Person)노출하면 형식 이름과 생성자 함수가 노출됩니다.

용도 type

1. 태그가 지정된 공용체 유형 정의
   이것은 가장 일반적인 사용 사례이며, 좋은 예는 Maybecore 의 유형입니다 .

   type Maybe a
       = Just a
       | Nothing

   유형을 정의 할 때 생성자 함수도 정의합니다. Maybe의 경우 다음은 (의사 코드)입니다.

   Just : a -> Maybe a
   
   Nothing : Maybe a

   이는이 값을 선언하면 다음을 의미합니다.

   mayHaveANumber : Maybe Int

   다음 중 하나를 사용하여 만들 수 있습니다.

   mayHaveANumber = Nothing

   또는

   mayHaveANumber = Just 5

   Just및 Nothing태그뿐만 아니라 그들은 또한에 소멸자 또는 패턴의 역할, 생성자 함수의 역할을 case표현. 즉, 이러한 패턴을 사용하면 내부에서 볼 수 있습니다 Maybe.

   showValue : Maybe Int -> Html msg
   showValue mayHaveANumber =
       case mayHaveANumber of
           Nothing ->
               Html.text "N/A"
   
           Just number ->
               Html.text (toString number)

   Maybe 모듈이 다음과 같이 정의되어 있기 때문에 이렇게 할 수 있습니다.

   module Maybe exposing
       ( Maybe(Just,Nothing)

   그것은 또한 말할 수 있습니다

   module Maybe exposing
       ( Maybe(..)

   이 경우 두 가지는 동일하지만, 특히 패키지를 작성할 때 명시적인 것은 Elm에서 미덕으로 간주됩니다.

2. 구현 세부 정보 숨기기
   위에서 지적했듯이의 생성자 함수가 Maybe다른 모듈에 대해 표시 되도록하는 것은 신중한 선택입니다 .

   그러나 저자가 숨기기로 결정한 다른 경우가 있습니다. 핵심에서 이것의 한 가지 예는Dict . 패키지의 소비자로서 Red / Black 트리 알고리즘의 구현 세부 사항을 볼 수 없어서 Dict노드를 직접 엉망으로 만들 수 없습니다. 생성자 함수를 숨기면 모듈 / 패키지의 소비자가 노출하는 함수를 통해 유형의 값만 생성 한 다음 해당 값을 변환하게됩니다.

   이것이 때때로 이와 같은 것이 코드에 나타나는 이유입니다.

   type Person =
       Person { name : String, age : Int }

   type alias이 게시물의 맨 위에 있는 정의 와 달리이 구문은 생성자 함수가 하나만있는 새로운 “union”유형을 생성하지만 해당 생성자 함수는 다른 모듈 / 패키지에서 숨길 수 있습니다.

   유형이 다음과 같이 노출되는 경우 :

   module Data exposing (Person)

   Data모듈의 코드 만 Person 값을 생성 할 수 있으며 해당 코드 만 패턴 일치를 생성 할 수 있습니다.

답변

-- Boilerplate code

module Main exposing (main)

import Html exposing (..)

main =
  Html.beginnerProgram
    {
      model = identity,
      view = view,
      update = identity
    }

-- Our type system

type alias IntRecordAlias = {x : Int}
type IntRecordType =
  IntRecordType {x : Int}

inc : {x : Int} -> {x : Int}
inc r = {r | x = .x r + 1}

view model =
  let
    -- 1. This will work
    r : IntRecordAlias
    r = {x = 1}

    -- 2. However, this won't work
    -- r : IntRecordType
    -- r = IntRecordType {x = 1}
  in
    Html.text <| toString <| inc r

The argument to function `inc` is causing a mismatch.

34|                              inc r
                                     ^
Function `inc` is expecting the argument to be:

    { x : Int }

But it is:

    IntRecordType

type alias Point =
  { x : Int
  , y : Int
  }

type AppState =
  Loading          --loading state
  |Loaded          --load successful
  |Error String    --Loading error

-- VIEW
...
case appState of
    Loading -> showSpinner
    Loaded -> showSuccessData
    Error error -> showError

...