`type`と`type alias`の違いは?

type

typeがなんなのかはわかっていない。
使われ方としてはsealed classに似ている気がする

type.elm

type Either
 = Loading
 | Success { value: Int }
 | Failure { message: String }

getValue : Either -> String
getValue either = 
  case either of
    Loading -> "loading"
    Success v -> "success"
    Failure message -> "failure"

type alias

type aliasは型に名前をつけるもの

typeAlias.elm

type alias T = { value: Int }

typeはカスタム型の宣言に利用するみたいだ
また別名がtagged unionやADTと呼ばれていることからseald classはあながち間違っていなそう

type aliasはレコードを作ってる

typeAlias.elm

type alias T = { value : Int } 

T // <function> : Int -> T

typeAliasLike.elm

record : Int -> T
record first = { value = first }

record // <fucntion> : Int -> { value : Int }

typeAlias.elmとtypeAliasLike.elmはほぼほぼ同じ

エラーハンドリング

型にエラー情報を逃す。ResultやMaybeでそれを実現する

`Maybe`

JavaのOptionと同等のものでnull参照をなくす

maybe.elm

type MaybeInt
  = Value number
   | Nothing

toInt : String -> MaybeInt
toInt string = 
  case String.toInt string of
    Nothing -> Nothing
    Just value -> Value value

`Result`

よく聞くEither
例外処理用の型

result.elm

type Either value error
 = Just value
  | Err error

Variant valueとすることでモデルを作ることができる

#コマンドとサブスクリプション

Html msgでHTMLエレメントからメッセージを送るように、Cmd msgでコマンドからメッセージを送れる。

Update関数の型定義とかとか

そもそもElmが最大限生かされる書き方ってどんなんなんだろう？
MVCを深く知ると良いのかな？？