Introduce the function to refactor into point-free

Author: igrep

assets/18.md

@@ -657,39 +657,34 @@ ghci> (4 -) 4
 
 ### やり過ぎ注意、あるいはどこまでやるか
 
-hoge: ポイントフリースタイルについてここで説明
-
-例1: `yes`や`Yes`や`yEs`などを探す
-
-前提: `filter`関数。第一引数が`True`を返した要素だけのリストを返す
+復習を兼ねて、ここまでで紹介した種々のテクニックを活用して、次⬇️の関数をより簡潔に書き換えてみましょう。この課題の学習する内容と直接関係がない知識も混ざりますが、ついでに学ぶと思ってご容赦ください。
 
+```haskell
+selectYes :: [String] -> [String]
+selectYes strs = filter (\str -> map toUpper str == "YES") strs
 ```
-ghci> :t filter
-filter :: (a -> Bool) -> [a] -> [a]
 
--- 3より大きい数
-ghci> filter (\x -> x > 3) [4, 3, 6]
-[4,6]
+この`selectYes`関数は、文字列のリストから`"yes"`という文字列を探して、`"yes"`のみが含まれるリストを返します。ただし、大文字と小文字の区別をしません。つまり、`"yes"`だけでなく`"Yes"`でも`"yEs"`等も含みます。これだけではあまり役に立たないですが、まぁ例と言うことで。もっと拡張したら役に立つシーンもあるかも知れませんし。
 
--- 当然、第一引数の関数はラムダ抽象の代わりにセクションで書けるので
-ghci> filter (> 3) [4, 3, 6]
-[4,6]
-```
+実際に書き換える前に、`selectYes`関数をGHCiに入力して、動作を確かめておきましょう:
 
-```
+```haskell
+ghci> -- 利用する toUpper 関数は Data.Char モジュールにあるので、importしておきます
 ghci> import Data.Char
 
--- 大文字にすると「YES」になる文字列だけを返す
-ghci> filter (\str -> map toUpper str == "YES") ["no", "yes", "yES", "iie", "YES"]
+ghci> -- GHCi に入力する場合、:{ と :} で囲むのを忘れずに
+ghci> :{
+ghci| selectYes :: [String] -> [String]
+ghci| selectYes strs = filter (\str -> map toUpper str == "YES") strs
+ghci| :}
+
+ghci> selectYes ["no", "yes", "yES", "iie", "YES"]
 ["yes","yES","YES"]
 ```
 
-「`toUpper`した結果が`"YES"`と等しい」
+hoge: `filter`より先に`map`を書き換えて、`filter`を書き換えるときに`filter`を紹介
 
-```
-ghci> filter ((== "YES") . map toUpper) ["no", "yes", "yES", "iie", "YES"]
-["yes","yES","YES"]
-```
+hoge: ポイントフリースタイルについてここで説明
 
 このくらいなら序の口？