Elm_guide_Custom-Types
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
[[Program]] ＞ [[JavaScript]] ＞ [[AltJS]] ＞ [[Elm]] ＞ ...
#norelated
#contents
//----------------------------------------
*カスタム型 [#d607f841]
-カスタム型 · An Introduction to Elm https://guide.elm-la...
~
一応読んだけど、そういうもんだという表面的な理解しか得ら...
いまいちよく理解できていない。うまく言語化できないけど、...
Elm本もパラレル読みして、もう少し掘り下げないといけない。
**型の設計 [#d382d025]
>ある状況を非常に厳密に表現し始めるのにカスタム型は極めて...
例えばもし何かデータをロードされるのを待っているとしたら...
#code(haskell){{
type Profile
= Failure
| Loading
| Success { name : String, description : String }
}}
Profile のデータの状態をLoadingから始めて、フェッチに失敗...
このような設計はview関数を書くのを本当にシンプルにします。
データの状態がカスタム型で表現されているのでview関数はデ...
>Note: カスタム型は Elm で最も重要な機能です。
特に一度でもより厳密にシナリオを設計しようとする習慣を持...
わたしはこの深みを付録の「集合としての型」や「型のビット...
うーん、型は状態を表す仕組みとしても使えるんだな？
これはどういうことなのか？と常に頭の片隅に置きながら、さ...
**バリアント [#hdb7bc0d]
「バリアント」という用語が出てきました。
英語版のElmガイドでは「variant」というスペルでした。
-Custom Types · An Introduction to Elm https://guide.elm-...
-variant（バリアント）の意味 - goo国語辞書 https://dictio...
>１ 変型。変種。
２ 本文の異同。また、異同のある本文。異文。「写本のバリア...
３ 同一種の生物集団の中に見られる遺伝子型の違い。同一種で...
元々の意味は、「変種」とか「多様体」という意味みたいです。
バリエーションという英語もありますね。
-variation（バリエーション）の意味 - goo国語辞書 https://...
>１ 物事の変化。また、物の変型・変種など。
２ 変奏曲。
ここでElm本の説明を参照してみましょう。
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a...
}}
~
(p.63)
>■シンプルな値の列挙
最も簡単なカスタム型の例は、考えうるすべての値を列挙し...
たとえば、次のようにして曜日を表すDay型を定義することが...
type Day = Mon | Tue | Wed | Thu | Fri | Sat | Sun
それぞれの値はバリアント（Variant）と呼ばれます。バリア...
列挙された値は、他の型の値と同じように使うことができま...
最初は混乱する人が多いのですが、Mon、Tueなどは「型」で...
-Elmのカスタム型は、他のプログラミング言語でいうところの...
-カスタム型の各値は、バリアントと呼ばれている。
今の段階では、カスタム型やバリアントの使い方が、いまいち...
終了行:
[[Program]] ＞ [[JavaScript]] ＞ [[AltJS]] ＞ [[Elm]] ＞ ...
#norelated
#contents
//----------------------------------------
*カスタム型 [#d607f841]
-カスタム型 · An Introduction to Elm https://guide.elm-la...
~
一応読んだけど、そういうもんだという表面的な理解しか得ら...
いまいちよく理解できていない。うまく言語化できないけど、...
Elm本もパラレル読みして、もう少し掘り下げないといけない。
**型の設計 [#d382d025]
>ある状況を非常に厳密に表現し始めるのにカスタム型は極めて...
例えばもし何かデータをロードされるのを待っているとしたら...
#code(haskell){{
type Profile
= Failure
| Loading
| Success { name : String, description : String }
}}
Profile のデータの状態をLoadingから始めて、フェッチに失敗...
このような設計はview関数を書くのを本当にシンプルにします。
データの状態がカスタム型で表現されているのでview関数はデ...
>Note: カスタム型は Elm で最も重要な機能です。
特に一度でもより厳密にシナリオを設計しようとする習慣を持...
わたしはこの深みを付録の「集合としての型」や「型のビット...
うーん、型は状態を表す仕組みとしても使えるんだな？
これはどういうことなのか？と常に頭の片隅に置きながら、さ...
**バリアント [#hdb7bc0d]
「バリアント」という用語が出てきました。
英語版のElmガイドでは「variant」というスペルでした。
-Custom Types · An Introduction to Elm https://guide.elm-...
-variant（バリアント）の意味 - goo国語辞書 https://dictio...
>１ 変型。変種。
２ 本文の異同。また、異同のある本文。異文。「写本のバリア...
３ 同一種の生物集団の中に見られる遺伝子型の違い。同一種で...
元々の意味は、「変種」とか「多様体」という意味みたいです。
バリエーションという英語もありますね。
-variation（バリエーション）の意味 - goo国語辞書 https://...
>１ 物事の変化。また、物の変型・変種など。
２ 変奏曲。
ここでElm本の説明を参照してみましょう。
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a...
}}
~
(p.63)
>■シンプルな値の列挙
最も簡単なカスタム型の例は、考えうるすべての値を列挙し...
たとえば、次のようにして曜日を表すDay型を定義することが...
type Day = Mon | Tue | Wed | Thu | Fri | Sat | Sun
それぞれの値はバリアント（Variant）と呼ばれます。バリア...
列挙された値は、他の型の値と同じように使うことができま...
最初は混乱する人が多いのですが、Mon、Tueなどは「型」で...
-Elmのカスタム型は、他のプログラミング言語でいうところの...
-カスタム型の各値は、バリアントと呼ばれている。
今の段階では、カスタム型やバリアントの使い方が、いまいち...
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
