2

私は最初の「本物の」haskell プログラムを書こうとしてきました。このプログラムは、最終的にhttp://www.boxofficemojo.com/weekly/chart/?yr=2012&wk=52&p=の形式のページから映画に関する情報をスクレイピングすることを目的としています。 .htm . これを行うための最初のステップは、2 つの日付から週ごとの情報を照会できる関数を作成することでした。私が思いついたコードは機能せず、エラー メッセージは現在の Haskell の能力を少し超えています。

コード：

import Network.HTTP.Conduit
import Data.Time.Clock
import Data.Time.Calendar.WeekDate
import Data.Time.Calendar (Day, addDays, fromGregorian)
import Control.Monad.Trans.Resource (runResourceT)

import qualified Data.ByteString.Char8 as C
import qualified Data.ByteString.Lazy as L
import qualified Data.ByteString as S


curDate :: IO Day
curDate = fmap utctDay getCurrentTime

dayToWkYr :: Day -> (S.ByteString, S.ByteString)
dayToWkYr day = (C.pack (show year), C.pack (show week))
                where (year, week, _) = toWeekDate day

mkDateList :: Day -> Day -> [Day] -> [Day]
mkDateList start end lst
    | start == end = lst
    | otherwise    = mkDateList (addWk start) end (start:lst)
    where addWk = addDays 7

getMovies' :: Manager -> [Day] -> [Response L.ByteString] -> [Response L.ByteString]
getMovies' manager (d:ds) results = runResourceT $ do
    let (year, week) = dayToWkYr d
    initreq <- parseUrl "http://boxofficemojo.com/weekly/chart/"
    let request = initreq { queryString = "?yr=" `S.append` year `S.append`
                                            "&wk=" `S.append` week}
    response <- httpLbs request manager
    getMovies' manager ds (response:results)

getMovies' _ [] results = results

エラー：

scraper.hs:27:37:
    Couldn't match type `[]' with `IO'
    When using functional dependencies to combine
      Control.Monad.Trans.Control.MonadBaseControl [] [],
        arising from the dependency `m -> b'
        in the instance declaration in `Control.Monad.Trans.Control'
      Control.Monad.Trans.Control.MonadBaseControl IO [],
        arising from a use of `runResourceT' at scraper.hs:27:37-48
    In the expression: runResourceT
    In the expression:
      runResourceT
      $ do { let (year, week) = dayToWkYr d;
             initreq <- parseUrl "http://boxofficemojo.com/weekly/chart/";
             let request = ...;
             response <- httpLbs request manager;
             .... }

scraper.hs:33:5:
    Couldn't match type `[]'
                  with `Control.Monad.Trans.Resource.ResourceT []'
    Expected type: Control.Monad.Trans.Resource.ResourceT
                     [] (Response L.ByteString)
      Actual type: [Response L.ByteString]
    In the return type of a call of getMovies'
    In a stmt of a 'do' block:
      getMovies' manager ds (response : results)
    In the second argument of `($)', namely
      `do { let (year, week) = dayToWkYr d;
            initreq <- parseUrl "http://boxofficemojo.com/weekly/chart/";
            let request = ...;
            response <- httpLbs request manager;
            .... }'

誰かが私が間違っていることに光を当てることができれば、とても感謝しています!

4

1 に答える 1

2

私は決して Haskell の専門家ではありませんが、これをコンパイルするために変更したものです。

問題は関数 getMovies にあります。まず、戻り値の型を IO [Response L.ByteString] にする必要があります。2 番目の問題は、コンジット Resource Monad の処理にあります。関数runResourceTは、コンジット ストリームで実行したことをすべて返します。この場合、これはhttpLbs request managerからの戻り値である必要があります。したがって、 getMoviesへの再帰呼び出しをResource モナドから 移動する必要があります。

getMovies' :: Manager -> [Day] -> [Response L.ByteString] -> IO [Response L.ByteString]
getMovies' manager (d:ds) results = do
  response <- runResourceT $ do  -- we get the response here instead
    let (year, week) = dayToWkYr d
    initreq <- parseUrl "http://boxofficemojo.com/weekly/chart/"
    let request = initreq { queryString = "?yr=" `S.append` year `S.append`
                                            "&wk=" `S.append` week}
    httpLbs request manager
  getMovies' manager ds (response:results)

getMovies' _ [] results = return results -- wrap results in the IO monad.
于 2013-09-23T19:42:05.673 に答える