Get-Programming-with-Haskell_Lesson_3 の履歴(No.3)

• 履歴一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• Get-Programming-with-Haskell_Lesson_3 へ行く。
  • 1 (2019-09-16 (月) 00:56:58)
  • 2 (2019-09-16 (月) 00:56:58)
  • 3 (2019-09-16 (月) 00:56:58)
  • 4 (2019-09-16 (月) 00:56:58)
  • 5 (2019-09-16 (月) 00:56:58)
  • 6 (2019-09-16 (月) 00:56:58)
  • 7 (2019-09-16 (月) 00:56:58)

Haskell ＞ 本 ＞ 入門Haskellプログラミング ＞ LESSON 3

入門Haskellプログラミング†

#html{{

table border="0" cellpadding="5"><tr><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4798158666/vertex9-22/" target="_blank"><img src="" border="0"></a></td>

td>　</td>

td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4798158666/vertex9-22/" target="_blank">入門Haskellプログラミング</a><br>Will Kurt<br>翔泳社<br>2019-07-31<br>￥ 4,104</td></tr></table>
}}

LESSON 3†

• Haskellでのラムダ関数の記述
• ラムダ式を使った特別な関数の定義
• レキシカルスコープ
• ラムダ関数によるスコープの作成

3.1　ラムダ関数†

書式

\x -> x

• 最初にバックスラッシュ「\」を書く。（Windowsパソコンの場合、バックスラッシュ記号が円マーク「¥」で表示される場合もある）
• 続いて、引数を書く。上記の書式では、左側の「x」の部分のこと。
• 続いて、「->」という記号を書く。
• 続いて、関数の本体を書く。上記の書式では、右側の「x」の部分のこと。

本書、p.26の図3-1には間違いがある。
「関数の引数（複数の場合もある）」から伸びている線は、右側のxに向かっているが、正しくは左側のxに向かっていなければならない。

ラムダ関数の書き方の例

Prelude> (\x -> x * 2) 4
8

型を確認してみます。

Prelude> :t (\x -> x)
(\x -> x) :: p -> p

Prelude> :t (\x -> x * 2)
(\x -> x * 2) :: Num a => a -> a

3.2　where句†

（参考）

• Haskell-補助関数 CapmNetwork http://capm-network.com/?tag=Haskell-%E8%A3%9C%E5%8A%A9%E9%96%A2%E6%95%B0

補助関数とは、関数定義の内部でのみ使用する部分的な関数のことです。
補助関数を作成することで、複雑で分かりにくいプログラムの構造を簡潔にして可読性を向上することができます。
また、処理毎に分割することはプログラムを再利用しやすく、保守性のあるものにします。
なお、補助関数を内包する親となる関数は「最上位関数」と呼ばれます。
Haskellにおける補助関数の定義方法は「let」と「where」の２通りありますが、whereを使うほうが一般的といえます。
どちらを使用しても問題ありませんが、混在していると可読性が悪くなるため、統一して利用することが推奨されています。