IO 코드로 순수 함수를 확장 할 수 있습니까?

Question

나는 하스켈에 간단한 XML 파서를 작성했다. convertXML 함수는 XML 파일의 내용을 받아서 처리 된 추출 값의 목록을 반환합니다.

XML 태그의 속성 중 하나에도 제품 이미지의 URL이 포함되어 있으며 태그가 발견되면 다운로드하는 기능을 확장하고 싶습니다.

convertXML :: (Text.XML.Light.Lexer.XmlSource s) => s -> [String] 
convertXML xml = productToCSV products 
    where 
     productToCSV [] = [] 
     productToCSV (x:xs) = (getFields x) ++ (productToCSV 
           (elChildren x)) ++ (productToCSV xs) 
     getFields elm = case (qName . elName) elm of 
          "product" -> [attrField "uid", attrField "code"] 
          "name" -> [trim $ strContent elm] 
          "annotation" -> [trim $ strContent elm] 
          "text" -> [trim $ strContent elm] 
          "category" -> [attrField "uid", attrField "name"] 
          "manufacturer" -> [attrField "uid", 
               attrField "name"] 
          "file" -> [getImgName] 
          _ -> [] 
      where 
       attrField fldName = trim . fromJust $ 
             findAttr (unqual fldName) elm 
       getImgName = if (map toUpper $ attrField "type") == "FULL" 
           then 
            -- here I need some IO code 
            -- to download an image 
            -- fetchFile :: String -> IO String 
            attrField "file" 
           else [] 
     products = findElements (unqual "product") productsTree 
     productsTree = fromJust $ findElement (unqual "products") xmlTree 
     xmlTree = fromJust $ parseXMLDoc xml 

getImgName에 기능을 IO 코드를 삽입하거나 내가 완전히 순수 버전으로 convertXML 기능을 다시 작성해야 할 방법을 어떤 생각?

업데이트 2 최종 convertXML 기능 버전입니다. 하이브리드는 순수하고 불결하지만 깨끗한 방법으로 Carl이 제안했습니다. 반환 된 쌍의 두 번째 매개 변수는 다운로드 및 디스크에 저장하는 이미지를 실행하고 저장되는 이미지가있는 로컬 경로의 목록을 래핑하는 IO 작업입니다.

convertXML :: (Text.XML.Light.Lexer.XmlSource s) => s -> ([String], IO [String]) 
convertXML xml = productToCSV products (return []) 
    where 
     productToCSV :: [Element] -> IO String -> ([String], IO [String]) 
     productToCSV [] _ = ([], return []) 
     productToCSV (x:xs) (ys) = storeFields (getFields x) 
          (storeFields (productToCSV (elChildren x) (return [])) 
           (productToCSV xs ys)) 
     getFields elm = case (qName . elName) elm of 
          "product" -> ([attrField "uid", attrField "code"], return []) 
          "name" -> ([trim $ strContent elm], return []) 
          "annotation" -> ([trim $ strContent elm], return []) 
          "text" -> ([trim $ strContent elm], return []) 
          "category" -> ([attrField "uid", attrField "name"], return []) 
          "manufacturer" -> ([attrField "uid", 
               attrField "name"], return []) 
          "file" -> getImg 
          _ -> ([], return []) 
      where 
       attrField fldName = trim . fromJust $ 
             findAttr (unqual fldName) elm 
       getImg = if (map toUpper $ attrField "type") == "FULL" 
          then 
           ([attrField "file"], fetchFile url >>= 
            saveFile localPath >> 
            return [localPath]) 
           else ([], return []) 
        where 
         fName = attrField "file" 
         localPath = imagesDir ++ "/" ++ fName 
         url = attrField "folderUrl" ++ "/" ++ fName 

     storeFields (x1s, y1s) (x2s, y2s) = (x1s ++ x2s, liftM2 (++) y1s y2s) 
     products = findElements (unqual "product") productsTree 
     productsTree = fromJust $ findElement (unqual "products") xmlTree 
     xmlTree = fromJust $ parseXMLDoc xml 

Answer 1

하스켈의 유형 시스템의 전체 점은 IO 작업 - IO 유형의 값 a를 제외하고는 IO를 수행 할 수 없다는 것입니다. 이를 위반하는 방법이 있지만 최적화 및 지연 평가와의 상호 작용으로 인해 기대했던 것과는 완전히 다른 행동을 할 위험이 있습니다. IO가 왜 작동하는지 이해하기 전까지는 다른 방식으로 작동하도록하지 마십시오.

그러나이 디자인의 매우 중요한 결과는 IO 작업이 최우선 순위라는 것입니다. 영리의 비트와 함께,이 같은 함수를 작성할 수

convertXML :: (Text.XML.Light.Lexer.XmlSource s) => s -> ([String], IO [Image]) 

, 실행될 때, 현재 이미지의 목록을 제공 것 인 IO 작업이 될 것이다 쌍의 두 번째 항목입니다. 이렇게하면 convertXML 외부에 이미지로드 코드가있을 필요가 없으므로 실제로 이미지가 필요한 경우에만 IO를 수행 할 수 있습니다.

Answer 2

나는 기본적으로 접근 방식을 참조하십시오

1. 하는 기능도 발견 이미지의 목록을 제공하자 이후 불순한 기능을 처리합니다. 게으름은 나머지를 처리 ​​할 것입니다.
2. 내가 일반적으로 첫 번째 방법보다 좋아

전체 짐승의 불순한을 확인합니다.

convertXML :: (Text.XML.Light.Lexer.XmlSource s) => s -> ([String], [URL]) 

을 별도의 기능에 그들을 다운로드 : D

Answer 3

더 나은 방법은 함수가 결과의 일부로 다운로드 할 파일의 목록을 반환해야하는 것입니다.