Introduce eta-reduction

Author: igrep

assets/18.md

@@ -657,38 +657,91 @@ ghci> (4 -) 4
 
 ### やり過ぎ注意、あるいはどこまでやるか
 
-復習を兼ねて、ここまでで紹介した種々のテクニックを活用してみましょう。文字列を処理する関数をいくつか書いて、それを短くしては拡張し、短くしては拡張し...、というサイクルを繰り返します。この課題の学習する内容と直接関係がない知識も混ざりますが、ついでに学ぶと思ってご容赦ください。
+復習を兼ねて、ここまでで紹介した種々のテクニックを活用してみましょう。文字列を処理する関数をいくつか書いて、それを短くしてみます。
 
 まずは、`map`関数を使い、文字列のリストの各要素に「挨拶する」、すなわち`"Hello, "`という文字列を先頭に付け加える関数を書いてみましょう:
 
 ```haskell
 greetEach xs = map (\x -> ("Hello, " ++ x)) xs
 ```
 
+第一に、「Haskellにおける関数はカリー化されている」、つまり二つ以上の引数を受け取る関数に一つ引数を渡すと、残りの引数を受け取る関数が返ってくる、という性質を用いれば、`greetEach`の引数`xs`を省略できます:
+
+```haskell
+greetEach = map (\x -> ("Hello, " ++ x))
+```
+
+一般に、関数の最後の引数が、関数の本体である関数呼び出しの最後の引数として一度だけ使用されている場合、その引数は省略することができます。
+
+より単純な例に置き換えると、
+
+```haskell
+f x y z = g x y z
+```
+
+上記の`f`関数の引数、`z`は`g`の最後の引数として一度だけ使われているので、
+
+```haskell
+f x y = g x y
+```
+
+と書き換えることができます。
+
+そしてこの規則を繰り返し適用すると、`y`、`x`の順で省略できるようになると分かるでしょう。つまり最終的には次のように変換できます:
+
+```haskell
+f = g
+```
+
+シンプルになりました！
+
+ちなみに、このように引数を省略する変換を、「eta reduction」と言います。
+
 <!-- NOTE: この入門、`filter`について全く触れてないからここで触れようかと思ったけど、時間かかりそうだしこんなもんにしとくか... -->
 
-このくらいなら序の口？
+もっと短くしてみましょう。今度は演算子のセクションを使って、`map`関数に渡す関数の式`(\x -> ("Hello, " ++ x))`を簡潔にします。演算子のセクションを使って、次のように「先頭に`"Hello, "`という文字列を付け加える関数」を作ることで、引数`x`を省略することができます:
+
+```haskell
+-- これを...
+(\x -> ("Hello, " ++ x))
+
+-- こう書き換える
+("Hello, " ++)
+```
+
+新しく短くできた関数を`map`関数に渡してみましょう:
+
+```haskell
+greetEach = map ("Hello, " ++)
+```
+
+下記の最初のバージョンよりかなり短くできました！
 
 ```haskell
-ghci> map ("Hello, " ++) ["Tom", "Bob", "Alice"]
-["Hello, Tom","Hello, Bob","Hello, Alice"]
+greetEach xs = map (\x -> ("Hello, " ++ x)) xs
+
+-- v.s.
+
+greetEach = map ("Hello, " ++)
 ```
 
+hoge
+
+hoge: ポイントフリースタイルについてここで説明
+
 に、末尾に「!」を加えたくなったとする。
 
 ```haskell
 ghci> map (("Hello, " ++) . (++ "!")) ["Tom", "Bob", "Alice"]
 ["Hello, Tom!","Hello, Bob!","Hello, Alice!"]
 ```
 
-hoge: ポイントフリースタイルについてここで説明
-
-さらにさらに、どんどんポイントフリースタイルにすると、読みにくくなってしまう例が: [ポイントフリースタイルへの道 〜最大公約数編〜 - Qiita][3]  
+さらにさらに、どんどんポイントフリースタイルにすると、読みにくくなってしまう例が: [ポイントフリースタイルへの道 〜最大公約数編〜 - Qiita][1]  
 これまでの課題で紹介していない機能も利用していますが参考までにどうぞ。  
-大事なことは、[**短く書ける人を上級者と呼ぶな**][4]ということです。
+大事なことは、[**短く書ける人を上級者と呼ぶな**][2]ということです。
 
-[3]: https://qiita.com/necojackarc/items/1bccc9643857d3ce7896
-[4]: https://wiki.haskell.jp/Hikers%20Guide%20to%20Haskell#%E3%83%9D%E3%82%A4%E3%83%B3%E3%83%88%E3%83%95%E3%83%AA%E3%83%BC%E3%82%B9%E3%82%BF%E3%82%A4%E3%83%AB%E3%81%82%E3%82%8B%E3%81%84%E3%81%AF%E6%A7%98%E3%80%85%E3%81%AA%E3%82%B9%E3%82%BF%E3%82%A4%E3%83%AB%E3%81%A8%E3%81%AE%E4%BB%98%E3%81%8D%E5%90%88%E3%81%84%E6%96%B9
+[1]: https://qiita.com/necojackarc/items/1bccc9643857d3ce7896
+[2]: https://wiki.haskell.jp/Hikers%20Guide%20to%20Haskell#%E3%83%9D%E3%82%A4%E3%83%B3%E3%83%88%E3%83%95%E3%83%AA%E3%83%BC%E3%82%B9%E3%82%BF%E3%82%A4%E3%83%AB%E3%81%82%E3%82%8B%E3%81%84%E3%81%AF%E6%A7%98%E3%80%85%E3%81%AA%E3%82%B9%E3%82%BF%E3%82%A4%E3%83%AB%E3%81%A8%E3%81%AE%E4%BB%98%E3%81%8D%E5%90%88%E3%81%84%E6%96%B9
 
 ### ラムダ抽象や関数の引数でのパターンマッチ