Elm type 學習筆記

type Msg
    = SendHttpRequest
    | DataReceived (Result Http.Error (List String))

update : Msg -> Model -> ( Model, Cmd Msg )
update msg model =
    case msg of
        SendHttpRequest ->
            ( model, getNicknames )

        DataReceived (Ok nicknames) ->
            ( { model | nicknames = nicknames }, Cmd.none )

        DataReceived (Err httpError) ->
            ( { model
                | errorMessage = Just (buildErrorMessage httpError)
              }
            , Cmd.none
            )

這段看了好幾天看不太懂

終於懂了

Msg 可以稱之為 union type

SendHttpRequest 不只是一個 value 更是一個只含有一個 value 的集合

DataReceived 是 type constructor

(Result Http.Error (List String)) 是 type variable

這個 type variable 真正的 type 又是由 Result 這個 type constructor 吃進兩個 type variable 產生

所以 case msg of 列舉出來的 是 Msg 這個 union type 裡面各個集合的聯集

所以 SendHttpRequest 是一種 value

DataReceived (Ok nicknames) 是一種 value

DataReceived (Err httpError) 是一種 value

不知道以上這樣描述正確嗎？

目前理解到這邊，持續努力中