• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• Elm_guide_Type-Aliases へ行く。
  • 1 (2019-11-11 (月) 03:07:19)
  • 2 (2019-11-11 (月) 03:07:19)

Program ＞ JavaScript ＞ AltJS ＞ Elm ＞ Elmガイド ＞ 型 ＞ 型の別名

型の別名 †

• 型の別名 · An Introduction to Elm https://guide.elm-lang.jp/types/type_aliases.html

Elmでは 型の別名（タイプエイリアス） を作ることができます。
別名は単に他の型の短い名前です。 このように定義できます:

1 2 3 4

type alias User = { name : String , bio : String }

Elmでは、「type alias」というキーワードを使うと、「型の別名」という仕組みが使えるようになっているんですね。
上記の例では「User型」という型を作ることができます。

（質問）
型の別名のスペルについてですが、英字の大文字で始めるとか、制約があるのでしょうか？
それとも単なる慣習でしかなく、型の別名には英数字や小文字も使えるのでしょうか？
Google検索で調べてみましょう。

• Elm 型の別名 大文字 - Google 検索 https://www.google.com/search?q=Elm+%E5%9E%8B%E3%81%AE%E5%88%A5%E5%90%8D+%E5%A4%A7%E6%96%87%E5%AD%97

• 新しい型を定義する · プログラミング言語Elmの薄い本 https://giisyu.gitbooks.io/elm_usui_book/content/src/syntax/type/teigi.html

  型名とデータ構築子は大文字から始まる必要があります。

検索したら、上記の説明ページが見つかり、それによるとElmの型名は大文字で始める、とのこと。
小文字にした場合、Elmコンパイラーがエラーを警告するのか？確認してみる必要がありますね。