하스켈이 블록을 평가하지 않습니다.

Question

간단한 sitemap.xml 크롤러를 작성하고 있습니다. 코드는 다음과 같습니다. 제 질문은 main의 끝에있는 코드가 아무 것도 인쇄하지 않는 이유입니다. 나는 하스켈의 lazyness 때문이다 의심하지만, 여기에 대처하는 방법을 알고하지 않습니다

import Network.HTTP.Conduit 
import qualified Data.ByteString.Lazy as L 
import Text.XML.Light 
import Control.Monad.Trans (liftIO) 
import Control.Monad 
import Data.String.Utils 
import Control.Exception 

download :: Manager -> Request -> IO (Either HttpException L.ByteString) 
download manager req = do 
    try $ 
    fmap responseBody (httpLbs req manager) 

downloadUrl :: Manager -> String -> IO (Either HttpException L.ByteString) 
downloadUrl manager url = do 
    request <- parseUrl url 
    download manager request 

getPages :: Manager -> [String] -> IO [Either HttpException L.ByteString] 
getPages manager urls = 
    sequence $ map (downloadUrl manager) urls 

main = withManager $ \ manager -> do 
    -- I know simpleHttp is bad here 
    mapSource <- liftIO $ simpleHttp "http://example.com/sitemap.xml" 

    let elements = (parseXMLDoc mapSource) >>= Just . findElements (mapElement "loc") 
     Just urls = liftM (map $ (replace "/#!" "?_escaped_fragment_=") . strContent) elements 
     mapElement name = QName name (Just "http://www.sitemaps.org/schemas/sitemap/0.9") Nothing 

    return $ 
    getPages manager urls >>= \ pages -> do 
     print "evaluate me!" 
     sequence $ map print pages 

Answer 1

적어도 여기에 설명 된 것과 동일한 문제가 발생합니다. 실제로는 유형 오류가 발생하면 typechecks라는 잘못된 코드가 있습니다. Why is the type of "Main.main", "IO()" and not "IO a"?. 따라서 main에 형식 서명 main :: IO()을 명시 적으로 지정해야합니다.

는 lift와 return을 대체 할 것, 문제를 해결 ( http://hackage.haskell.org/package/transformers/docs/Control-Monad-Trans-Class.html#v:lift 참조) mapM_로 sequence $ map ...를 교체하십시오. mapM_ f은 sequence_ . map f과 같습니다.

Answer 2

이 마지막 returnrunResourceT (http://hackage.haskell.org/package/resourcet-1.1.1/docs/Control-Monad-Trans-Resource.html#v:runResourceT)로 대체합니다. 유형에서 알 수 있듯이 ResourceT가 IO 작업으로 바뀝니다.