Elm_guide_Reading-Types
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
[[Program]] ＞ [[JavaScript]] ＞ [[AltJS]] ＞ [[Elm]] ＞ ...
#norelated
#contents
//----------------------------------------
*型を読む [#v117c218]
-型を読む · An Introduction to Elm https://guide.elm-lang...
**型注釈（タイプアノテーション） [#fb4ea7db]
>今のところElmに型を推論させているだけですが、必要ならば...
つまり、次のようにコードを書くことができます:
half : Float -> Float
half n =
n / 2
**型変数（タイプバリアブル） [#rc33ab85]
> []
[] : List a
>List aという型は、「リストがあるのはわかるが、何の型が入...
小文字のaは型変数と呼ばれます。
の型変数には特定の型に固定する制約がありません。
言い換えると、その型は使用方法に基づいて変化する可能性が...
~
（参考）「型変数」という用語について
-Haskellの型入門 - NaCl非公式ブログ https://nacl-ltd.gith...
>型変数は任意の型が入ることを示しています。
ただし同じ名前の型変数の型は、全て同じであることに注意し...
--型変数aには「String」や「Float」などの型情報が入る。
--型変数aがStringに紐づいた場合は、以降aはString型となる。
>Note: 型変数は小文字から始めなければなりませんが、完全な...
つまり例のように1文字の変数でなくても問題ありません。
List.lengthの型をList value -> Intとも書けますし、List.re...
&color(red){小文字で始まっていれば大丈夫です。};
型変数のaやbといった1文字のものは慣例によりいたるところで...
まあ、確かに「List a -> Int」と書くよりも「List value -> ...
終了行:
[[Program]] ＞ [[JavaScript]] ＞ [[AltJS]] ＞ [[Elm]] ＞ ...
#norelated
#contents
//----------------------------------------
*型を読む [#v117c218]
-型を読む · An Introduction to Elm https://guide.elm-lang...
**型注釈（タイプアノテーション） [#fb4ea7db]
>今のところElmに型を推論させているだけですが、必要ならば...
つまり、次のようにコードを書くことができます:
half : Float -> Float
half n =
n / 2
**型変数（タイプバリアブル） [#rc33ab85]
> []
[] : List a
>List aという型は、「リストがあるのはわかるが、何の型が入...
小文字のaは型変数と呼ばれます。
の型変数には特定の型に固定する制約がありません。
言い換えると、その型は使用方法に基づいて変化する可能性が...
~
（参考）「型変数」という用語について
-Haskellの型入門 - NaCl非公式ブログ https://nacl-ltd.gith...
>型変数は任意の型が入ることを示しています。
ただし同じ名前の型変数の型は、全て同じであることに注意し...
--型変数aには「String」や「Float」などの型情報が入る。
--型変数aがStringに紐づいた場合は、以降aはString型となる。
>Note: 型変数は小文字から始めなければなりませんが、完全な...
つまり例のように1文字の変数でなくても問題ありません。
List.lengthの型をList value -> Intとも書けますし、List.re...
&color(red){小文字で始まっていれば大丈夫です。};
型変数のaやbといった1文字のものは慣例によりいたるところで...
まあ、確かに「List a -> Int」と書くよりも「List value -> ...
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
