• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• Elm_guide_Reading-Types へ行く。
  • 1 (2019-11-10 (日) 18:14:09)
  • 2 (2019-11-10 (日) 18:26:32)

Program ＞ JavaScript ＞ AltJS ＞ Elm ＞ Elmガイド ＞ 型 ＞ 型を読む

型を読む †

• 型を読む · An Introduction to Elm https://guide.elm-lang.jp/types/reading_types.html

型変数 †

> []
[] : List a

List aという型は、「リストがあるのはわかるが、何の型が入るかはわからない」ということを表現しています。
小文字のaは型変数と呼ばれます。
の型変数には特定の型に固定する制約がありません。
言い換えると、その型は使用方法に基づいて変化する可能性があるということです。

（参考）「型変数」という用語について

• Haskellの型入門 - NaCl非公式ブログ https://nacl-ltd.github.io/2017/11/30/introduction-to-type-of-haskell.html

  型変数は任意の型が入ることを示しています。
  ただし同じ名前の型変数の型は、全て同じであることに注意してください。

• 型変数aには「String」や「Float」などの型情報が入る。
• 型変数aがStringに紐づいた場合は、以降aはString型となる。