Programming-in-Haskell-2nd-edition_memo_8
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
[[プログラミング Haskell 第 2 版 >Programming-in-Haskell-...
*プログラミング Haskell 第 2 版 [#m4f2fc86]
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a...
}}
*第8章 型と型クラスの定義 [#i902b7f5]
p.93
>この章では、Haskell で新しい型と型クラスを宣言する方法を...
型を宣言する方法を三つ示した後、再帰型について考察してか...
最後に本章の締めくくりとして、恒真式を検査する関数と抽象...
**8.1 typeによる型宣言 [#wdb9cae4]
>新しい型を宣言するいちばん簡単な方法は、既存の型に別名を...
これには Haskell の typeを使います。
たとえば、プレリュードにある以下の宣言は、String型が文字...
#code(haskell){{
type String = [Char]
}}
~
-素朴な疑問
--Haskellのプレリュード内で行われている宣言って、どうやっ...
--つまり、上記の例で言えば、Stringという型が、どこで宣言...
--ソースコードを見る方法、コマンドなどが用意されているの...
p.94
**8.2 dataによる型宣言 [#fdf8ef64]
>既存の型に別名を付けるのではなく、完全に新しい型を宣言す...
たとえば、プレリュードにある以下の宣言は、Bool型が False...
#code(haskell){{
data Bool = False | True
}}
このような型宣言で使う記号「|」は「または」と読み、型の値...
新しく型を定義する場合と同様に、新しく定義する構成子は先...
さらに、同じ名前の構成子を複数の型で用いることはできませ...
***構成子 [#tef7a9f7]
-Haskell の文法 http://mew.org/~kazu/academic/2013/miyaza...
>代数データ型
代数データ型は、直積型の直和型です。すべてにラベルが付き...
#code(haskell){{
data Bool = False | True
}}
Bool が型、False と True が構成子です。"|" が直和(または)...
p.95
>GHCi で試す場合には、新しい型の値を GHC が表示できるよう...
>引数を取ることから、構成子は関数だといえます。
>普通の関数と構成子関数との違いは、後者は定義に等式を持た...
終了行:
[[プログラミング Haskell 第 2 版 >Programming-in-Haskell-...
*プログラミング Haskell 第 2 版 [#m4f2fc86]
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a...
}}
*第8章 型と型クラスの定義 [#i902b7f5]
p.93
>この章では、Haskell で新しい型と型クラスを宣言する方法を...
型を宣言する方法を三つ示した後、再帰型について考察してか...
最後に本章の締めくくりとして、恒真式を検査する関数と抽象...
**8.1 typeによる型宣言 [#wdb9cae4]
>新しい型を宣言するいちばん簡単な方法は、既存の型に別名を...
これには Haskell の typeを使います。
たとえば、プレリュードにある以下の宣言は、String型が文字...
#code(haskell){{
type String = [Char]
}}
~
-素朴な疑問
--Haskellのプレリュード内で行われている宣言って、どうやっ...
--つまり、上記の例で言えば、Stringという型が、どこで宣言...
--ソースコードを見る方法、コマンドなどが用意されているの...
p.94
**8.2 dataによる型宣言 [#fdf8ef64]
>既存の型に別名を付けるのではなく、完全に新しい型を宣言す...
たとえば、プレリュードにある以下の宣言は、Bool型が False...
#code(haskell){{
data Bool = False | True
}}
このような型宣言で使う記号「|」は「または」と読み、型の値...
新しく型を定義する場合と同様に、新しく定義する構成子は先...
さらに、同じ名前の構成子を複数の型で用いることはできませ...
***構成子 [#tef7a9f7]
-Haskell の文法 http://mew.org/~kazu/academic/2013/miyaza...
>代数データ型
代数データ型は、直積型の直和型です。すべてにラベルが付き...
#code(haskell){{
data Bool = False | True
}}
Bool が型、False と True が構成子です。"|" が直和(または)...
p.95
>GHCi で試す場合には、新しい型の値を GHC が表示できるよう...
>引数を取ることから、構成子は関数だといえます。
>普通の関数と構成子関数との違いは、後者は定義に等式を持た...
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
