파이프를 사용하는 간단한 프로그램이 응답하지 않습니다.

Question

runhaskell Toy.hs으로 실행하면 출력이 생성되지 않고 무한정 정지되는 다음 프로그램이 있습니다. 내 이해에 의해, 프로그램은 "hi"를 인쇄하고 종료해야합니다. 나는 그러한 문제를 디버깅하는 방법에 대한 답변 및/또는 조언을 주시면 감사하겠습니다. github (github.com/Gabriel439/Haskell-Pipes-Library)에서 4.0.0을 사용하고 있습니다.

module Toy where 

import Pipes 
import Control.Monad.State 

type Request = String 
type Response = String 

serveChoice :: Request -> Server Request Response IO() 
serveChoice = forever go 
    where go req = do 
     lift $ putStrLn req 
     respond req 

run :: Monad m =>() -> Client Request Response (StateT Int m)() 
run() = do 
    request "hi" 
    return() 

main :: IO() 
main = evalStateT (runEffect $ hoist lift . serveChoice >-> run $()) 0 

Answer 1

는이 같은 forever 대신 foreverK를 사용해야합니다 :

module Toy where 

import Pipes 
import Pipes.Prelude (foreverK) 
import Control.Monad.State 

type Request = String 
type Response = String 

serveChoice :: Request -> Server Request Response IO() 
serveChoice = foreverK go 
    where go req = do 
     lift $ putStrLn req 
     respond req 

run :: Monad m =>() -> Client Request Response (StateT Int m)() 
run() = do 
    request "hi" 
    return() 

main :: IO() 
main = evalStateT (runEffect $ hoist lift . serveChoice >-> run $()) 0 

원래 버전은 중단 이유는 당신이 (즉, ((->) a) 모나드)가 아닌하여 Reader 모나드에 forever을 사용한다는 것입니다 파이프 모나드. 이 모나드 내에서 forever는 ⊥하는 것과 같습니다

-- i.e.  m b ->  m c 
forever :: (a -> b) -> (a -> c) 
forever m = m >> forever m 
      = m >>= \_ -> forever m 
      = \a -> (\_ -> forever m) (m a) a 
      = \a -> forever m a 
      = forever m 

foreverK 당신이 원하는 것을 아마, 그것은 pipes-3.3.0 튜토리얼에서 소개 Server들에 대해 동일한 관용구이기 때문이다.

이러한 변화는 이제 프로그램이 어떤를 해결 정상적으로 완료 :

>>> main 
hi 
>>> 

내가 명시 적으로 호출되지 않습니다으로 리더 모나드는, 그림으로 오는가