ハスケル：TCOとレイジー評価

Question

私はcが有効でないときに最初のmainが終了せず、2番目が終了する理由を理解しようとしています。説明からhere mainはちょうど未評価のサンクであり、executingはデータ構造を構築しています。私はここで同じ原則を適用しようとしているし、最初のメインが終了しない理由を参照しようとしています。誰かが私にこの部分を理解させるのを手伝ってもらえれば、これを理解するための指針を私に与えることができます。これとは別に、GHCIはこれをTCOとして認識できないのはなぜですか？ does notは定義に適合していますか？

main = loop                  
    where                   
    loop = do                 
    c <- getChar                
    case valid c of                
     Nothing -> return()              
     Just b -> print b              
    print c                  
    loop                  

> main :: IO() 
> main = loop 
> where 
> loop = do 
>  c <- getChar 
>  case validate c of 
>  Nothing -> return() 
>  Just b -> do 
>   print b 
>   loop 

ありがとうございます。

Answer 1

テールコールの最適化なしこの動作に関係します。問題は、最初のコードに無限ループが含まれ、2番目のコードに無限ループが含まれていることです。

あなたの最初のコードは、必須（Pythonのような）と類似している：

def loop(): 
    c = getChar() 
    if valid c: 
     do_something() 
    else: 
     do_something_else() 

    print(c) 
    loop() 

後者は同様である一方後者の場合にloop()への呼び出しがどのように

def loop(): 
    c = getChar() 
    if valid c: 
     do_something() 
    else: 
     do_something_else() 
     print(c) 
     loop() 

注の内部ブランチelseであり、前者はの外側であり、の外側にあり、したがって、loopの呼び出しごとに呼び出されます。

また、Haskellのreturnはではなく、は関数呼び出しを終了します。特定の価値を持ち、副作用がないのはちょうどIOアクションです。

例えば：

main = do 
    c <- return 1 
    print c 

上記のコードで

returnしないprintからの出力を防ぎます。