getLineはどのようにhaskellで動作しますか？

Question

definition of getLine in the Haskell Preludeを見ると、 私は再帰がどのように働いているのですか？改行がヒットしてIOにラップされたリストを作成するまで、文字を要求し続けます。

しかし、このケースではreturnステートメントがどのように機能するのですか？具体的には、return (c:....:return "")はどのように動作しますか？ return ""をどのようにリストに入れるのですか？

Answer 1

returnは、ほとんどの言語のような制御構造ではありません。モナドの値のコンストラクタです。のは、その種類を見てみましょう。この場合

return :: Monad m => a -> m a 

、String値を与え、それがIO String値を生成します。

ifの各ブランチで評価された最後の式がreturnであることは、returnの実行が終了することを意味しません。他の式は、returnの後にになる可能性があります。 returnは、単にその引数を含む新しい単一項目のリストを作成し、リストモナドで

foo :: Int -> Int -> [Int] 
foo x y = return x ++ return y 

：リストモナドから、この単純な例を考えてみましょう。これらの2つのリストは、関数によって返された最終結果リストに連結されます。

$ return 3 :: [Int] 
[3] 
$ foo 3 4 
[3,4] 

Answer 2

do -notationはシンタックスシュガーです。

do x <- e 
    rest 

（それはIOコンテナへのコールバックを付加）

>>=が flatMap又は bind操作である

e >>= \x -> rest 

と等価です。

flatMap :: IO a -> (a -> IO b) -> IO b意味は次のとおりです。タイプIO aの与えられたコンテナだから、

getLine = 
    getChar >>= \c -> 
     if c == '\n' 
     then (return []) 
     else getLine >>= \rest -> 
      return (c : rest) 

何IO b

を、タイプa -> IO bのコールバックを取り付けた容器はその動作に成功したときに発生し、これは、タイプの新しいコンテナを作成します手段は？ getLineはすぐに実行をgetCharIO-containerに委譲します。コールバックでは、渡された文字を分析します。その改行の場合は、IO-containerの構成である "return """を返し、すぐに空のStringを返します。 それ以外の場合は、restとreturnの現在のc haracterをrestに接続して自分自身を呼び出します。 Monadインターフェイスでは、コンテナ以外のコールバックをバインドすることができないので、純粋な値をコンテナに変換するために使用されます（非常に良い理由があります）。