Complete explanation of >>

Author: igrep

assets/19.md

@@ -189,7 +189,7 @@ map @Bool @Integer (\x -> if x then 1 else 0)
   :: [Bool] -> [Integer]
 ```
 
-このように、`TypeApplications`を使うことで、`map`関数が受け取る型変数に手動で具体的な型を代入することができるようになります。
+このように、`TypeApplications`を使うと`map`関数が受け取る型変数に手動で具体的な型を代入することができるようになります。
 
 今回は、`Monad`のことを考えないために`(>>)`の`m`を`TypeApplications`で`IO`に置き換えてみるのに使いましょう。
 
@@ -198,46 +198,43 @@ ghci> :t (>>) @IO
 (>>) @IO :: IO a -> IO b -> IO b
 ```
 
-2つの引数と戻り値:
+`(>>)`の元々の型は`Monad m => m a -> m b -> m b`でしたが、`TypeApplications`で`m`を`IO`に置き換えることで、`IO a -> IO b -> IO b`という型になりました。すごくシンプルで分かりやすくなりましたね！
 
-- 第1引数（左辺）の`IO a`: `getLine`や`putStrLn "hello"`などの命令。
-- 第2引数（右辺）の`IO b`: 同じく`getLine`や`putStrLn "hello"`などの命令。
-- 戻り値の`IO b`: 第2引数（右辺）の命令と、同じ型の値を返す命令。
+遠回りになってしまいましたが、いよいよ`IO`専用の`>>`について、型を読み解いてみましょう。引数と戻り値は次のような型となっています:
 
-「右辺の命令の結果をそのまま返す命令」を返すことが読み取れる。  
-例えば
+- 第1引数（左辺）の`IO a`: `getLine`や`putStrLn "hello"`などの命令
+- 第2引数（右辺）の`IO b`: 同じく`getLine`や`putStrLn "hello"`などの命令
+- 戻り値の`IO b`: 第2引数（右辺）の命令と、同じ型の値を返す命令
 
-```
-ask =
-    putStrLn "Hello, how are you?"
-    >> getLine
+「右辺の命令の結果をそのまま返す命令」を返すことが読み取れますね。実際に動かしてみるともっとよく分かるでしょう。例えば、
+
+```haskell
+putStrLn "Hello, how are you?" >> getLine
 ```
 
-と書くと、`putStrLn "Hello, how are you?"`と`getLine`を続けて実行して、`getLine`の実行結果を返す命令が作られる。
+と書くと、`putStrLn "Hello, how are you?"`と`getLine`を続けて実行して、`getLine`の実行結果を返す命令が作られます。
 
-```
-ghci> ask
+```haskell
+ghci> putStrLn "Hello, how are you?" >> getLine
 Hello, how are you?
 Fine! -- ここはユーザーによる入力
 "Fine!"
 ```
 
-`do`を使ってやってもやっぱり同じ。
+`do`を使って`putStrLn`と`getLine`を続けて書いた場合も、やはり同じように動作します:
 
-```
+```haskell
 ghci> :{
-ghci| ask = do
+ghci| do
 ghci|     putStrLn "Hello, how are you?"
 ghci|     getLine
 ghci| :}
-ghci> ask
 Hello, how are you?
 Alright. -- ここはユーザーによる入力
 "Alright."
 ```
 
-まとめると、`>>`は、「両辺の命令を続けて実行して、右辺の命令の結果を返す命令」を作る演算子。  
-ほかのプログラミング言語でよく出てくるセミコロン `;`とよく似てる。
+まとめると、`>>`は、「両辺の命令を続けて実行して、右辺の命令の結果を返す命令」を作る演算子となっています。
 
 ### `do`記法の正体2: `<-`をなくす `>>=`