• 追加された行はこの色です。
• 削除された行はこの色です。
• Programming-in-Haskell-2nd-edition_memo_4 へ行く。
• Programming-in-Haskell-2nd-edition_memo_4 の差分を削除

#author("2019-08-26T13:53:53+00:00","default:sagasite","sagasite")
#author("2019-08-26T16:23:59+00:00","default:sagasite","sagasite")
[[プログラミング Haskell 第 2 版 >Programming-in-Haskell-2nd-edition]]

*プログラミング Haskell 第 2 版 [#e9055ceb]

#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4908686076/vertex9-22/" target="_blank"><img src="https://images-fe.ssl-images-amazon.com/images/I/41Korrd80qL._SL160_.jpg" border="0"></a></td><td>　</td><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4908686076/vertex9-22/" target="_blank">プログラミングHaskell 第2版</a><br>Grahum Hutton<br>ラムダノート<br>2019-08-02<br>￥ 3,456</td></tr></table>
}}

*第4章 関数定義 [#hdb2ac56]

p.40

**4.2 条件式 [#v7ad81c4]
>多くのプログラミング言語とは違って、Haskell の条件式には常に else部が必要です。

***ぶらさがり else 問題 [#edfb141d]
>これにより、いわゆる「ぶらさがり else 問題」が回避できます。
もし else部が省略可能な文であるなら、文「if True then if False then 1 else 2」が 2を返すかエラーとなるかは、else部が内側と外側のどちらの条件に対応すると解釈するかに依存してしまうでしょう。

-[[ぶらさがり else 問題 - Google 検索>https://www.google.com/search?q=%E3%81%B6%E3%82%89%E3%81%95%E3%81%8C%E3%82%8A+else+%E5%95%8F%E9%A1%8C]]

-ぶら下がりelse問題とは【Dangling else problem】 | MaryCore https://marycore.jp/coding/dangling-else-problem/
>ぶら下がりelse（Dangling else）は、特定のif文に紐付くよう意図されていたelse文が、書き手の意図に反して異なる別のif文に紐付いてしまっている状態のことを言う。
この状態によって引き起こされる問題は宙ぶらりんelse問題（dangling else problem）とも呼ばれている。
#code{{
if (!a)
    if (b)
        b();
else // ← ぶら下がりのelse
    a();

/* プログラム側ではこのように解釈されてしまう */
if (!a)
    if (b)
        b();
    else
        a();
}}
>ぶら下がりelseの問題は、フリーフォーマットを採用し、かつブレース（波括弧 ＝ {}）の省略が可能なC言語やJava, PHP, Perl, JavaScript等の言語で頻繁に発生する。
オフサイドルールを採用して字下げのレベルに意味を持たせたPythonやCofeeScript等の言語ではこの問題は起こらない。
またブレースの記述を必須とするSwiftやGo, Rust等の言語も同様にこの問題は起こらない。

Haskellの場合は、ifはelseを必須にすることによって、曖昧さを排除しているんですね！

**4.3 ガード付きの等式 [#p1fc21d5]
>ガード付きの等式は、条件式と比べて、条件が多くなったときに読みやすい点が優れています。
たとえば、プレリュード関数 signumは以下のように定義すると理解しやすくなります。

-条件式
#code(haskell){{
signum :: Int -> Int
signum n = if n < 0 then -1 else
              if n == 0 then 0 else 1
}}

-ガード付きの等式
#code(haskell){{
signum n | n < 0     = -1
         | n == 0    = 0
         | otherwise = 1
}}

p.41

**4.4 パターンマッチ [#i0e78eba]
>多くの関数は、パターンマッチを使うことで簡潔かつ直観的に定義できます。
パターンマッチによる関数定義では、パターンと呼ばれる式に基づいて、列挙された同じ型の候補の中から結果が選ばれます。
もし最初のパターンに合致したら最初の結果、そうではなく二つめのパターンに合致したら二つめの結果、という具合に結果が選ばれます。
>たとえば、真理値の否定を返す否定演算子 notは、パターンマッチを使って以下のように定義できます。
#code(haskell){{
not :: Bool -> Bool
not False = True
not True = False
}}

***ワイルドカード [#wdd5ed7c]
>すべての値に合致するワイルドカード「_」

p.42

**4.4.2 リスト・パターン [#w114dc76]

***cons演算子 [#vdffda0f]
>これまでは Haskell のリストを分解不可能なデータとみなしてきました。
実際には、リストは合成されたデータであり、空リスト []に対して演算子:を使って要素を一つずつ増やしていくことで生成されます。
「:」は既存のリストの先頭に新しい要素を追加して新しいリストを生成する演算子で、「作成する」（construct）という意味でcons演算子と呼ばれます。

>たとえば、リスト[1,2,3]は以下のように分解できます。
 [1,2,3]
 1 : [2,3]
 1 : (2 : [3])
 1 : (2 : (3 : []))

>すなわち、[1,2,3]は 1 : (2 : (3 : []))の略記法にすぎません。
リストを扱うときに括弧が増えないよう、cons 演算子は右結合になっています。
たとえば、1 : 2 : 3 : []は 1 : (2 : (3 : []))という意味です。

p.43

>cons 演算子はリストの作成だけでなくパターンの作成にも利用できます。