Elm_guide_HTTP の変更点 - プログラミング探して！

追加された行はこの色です。
削除された行はこの色です。
Elm_guide_HTTP へ行く。
Elm_guide_HTTP の差分を削除
#author("2019-11-24T15:12:16+00:00","default:sagasite","sagasite")
#author("2019-11-24T16:07:22+00:00","default:sagasite","sagasite")
[[Program]] ＞ [[JavaScript]] ＞ [[AltJS]] ＞ [[Elm]] ＞ [[Elmガイド>Elm_guide]] ＞ [[コマンドとサブスクリプション>Elm_guide_Commands-and-Subscriptions]] ＞ HTTP

#norelated
#contents

//----------------------------------------
*HTTP [#odbf4468]
-HTTP · An Introduction to Elm https://guide.elm-lang.jp/effects/http.html

サンプルコード
#code(haskell){{
-- Make a GET request to load a book called "Public Opinion"
--
-- Read how it works:
--   https://guide.elm-lang.org/effects/http.html
--

import Browser
import Html exposing (Html, text, pre)
import Http



-- MAIN


main =
  Browser.element
    { init = init
    , update = update
    , subscriptions = subscriptions
    , view = view
    }



-- MODEL


type Model
  = Failure
  | Loading
  | Success String


init : () -> (Model, Cmd Msg)
init _ =
  ( Loading
  , Http.get
      { url = "https://elm-lang.org/assets/public-opinion.txt"
      , expect = Http.expectString GotText
      }
  )



-- UPDATE


type Msg
  = GotText (Result Http.Error String)


update : Msg -> Model -> (Model, Cmd Msg)
update msg model =
  case msg of
    GotText result ->
      case result of
        Ok fullText ->
          (Success fullText, Cmd.none)

        Err _ ->
          (Failure, Cmd.none)



-- SUBSCRIPTIONS


subscriptions : Model -> Sub Msg
subscriptions model =
  Sub.none



-- VIEW


view : Model -> Html Msg
view model =
  case model of
    Failure ->
      text "I was unable to load your book."

    Loading ->
      text "Loading..."

    Success fullText ->
      pre [] [ text fullText ]
}}

パッと見、見事にサッパリ意味が分からない！
焦らずにじっくり学べば、後で意味が分かるようになるのかなー。（ちょっと不安）

**Cmd [#f59305f9]
-Elmのランタイムシステムに実行して欲しいことを指示するためのコマンド。
-initとupdateからコマンドを発行できる。

#code(haskell){{
init : () -> (Model, Cmd Msg)
init _ =
  ( Loading
  , Http.get
      { url = "https://elm-lang.org/assets/public-opinion.txt"
      , expect = Http.expectString GotText
      }
  )
}}
上記のコード片の中で、
 Http.expectString
の部分がCmdに該当している。

関数定義の型注釈を見ると、init関数の返り値は、(Model, Cmd Msg)となっており、Cmdとその引数であるMsgが返り値に含まれていることが分かる。

**Sub [#hc08cf45]
>このプログラムにおけるもう一つの新しい部分はsubscription関数になります。
Modelの情報から判断して何らかの情報に対する待ち受けするかどうかを決めることができます。
今回の例ではSub.noneとして何も待ち受けする必要がないことを示していますが、後ほど現在時刻を待ち受ける必要がある時計の例を見ていきます。

#code(haskell){{
-- SUBSCRIPTIONS
subscriptions : Model -> Sub Msg
subscriptions model =
  Sub.none
}}

Elmのランタイムシステムに対して、処理やデータを渡したり、受け取ったりできる、ということですね？
何となく雰囲気はつかめました。