4

我是一名新手 Haskell 程序员，我正在尝试编写一些 Haskell cgi，它将从 MySQL DB 读取并输出 JSON。我能够生成正确的 JSON，但无法正确获取数据类型以便能够正确输出 JSON。我也认为我主要还是在考虑必要性。这是我的代码。请注意，getTopBrands 提供 json 输出。

我的问题是我无法弄清楚如何从 getTopBrands 返回“[Char]”而不是“IO [Char]”。在我看来，我仍然认为势在必行。任何指针，解决此问题的建议将不胜感激。如果我需要提供其余代码，请告诉我。

RODB.hs：

{-# LANGUAGE RecordWildCards, OverloadedStrings, PackageImports #-}

module Main where

import RODB
import ROOutput
import System.Environment
import Database.HDBC
import Network.Socket(withSocketsDo)
import Network.CGI
import Text.XHtml
import qualified "bytestring" Data.ByteString.Lazy.Char8 as LBS
import Data.Aeson

page :: Html
page = body << h1 << str

main = runCGI $ handleErrors cgiMain

cgiMain :: CGI CGIResult
cgiMain =
    do out <- getTopBrands 10 1
       setHeader "Content-type" "application/json"
       output $ renderHtml page out

getTopBrands :: Integer -> Integer -> IO [Char]
getTopBrands limit sorted =
    do let temp = 0
       dbh <- connect "127.0.0.1" "ReachOutPublicData" "root" "admin" "/tmp/mysql.sock"
       if sorted == 1
       then do brandlist <- getBrands dbh limit True
               json <- convPublicBrandEntrytoJSON brandlist
               return $ LBS.unpack json
       else do brandlist <- getBrands dbh limit False
               json <- convPublicBrandEntrytoJSON brandlist
               return $ LBS.unpack json
4

1 回答 1

8

正如Niklas B 所说，getTopBrands进入IO是正确的，因为它取决于 I/O。我猜你的问题是当你尝试直接使用它时会出现类型错误，

cgiMain :: CGI CGIResult
cgiMain =
    do out <- getTopBrands 10 1
       setHeader "Content-type" "application/json"
       output $ renderHtml page out

因为 do-block 中的所有语句必须属于同一个 monad，而该块的其余部分在CGI. 但是，CGI是一个MonadIO，因此你可以简单地liftIO将它变成CGI，

cgiMain :: CGI CGIResult
cgiMain =
    do out <- liftIO $ getTopBrands 10 1
       setHeader "Content-type" "application/json"
       output $ renderHtml page out

Niklas 提出的下一点也是正确的，第二个Integer论点getTopBrands应该真的是 a Bool。然而，即使使用它当前的类型，代码重复也是完全没有必要的，两个分支之间的区别只是 的Bool参数getBrands，所以

getTopBrands :: Integer -> Integer -> IO [Char]
getTopBrands limit sorted =
    do let temp = 0
       dbh <- connect "127.0.0.1" "ReachOutPublicData" "root" "admin" "/tmp/mysql.sock"
       brandlist <- getBrands dbh limit (sorted == 1)
       json <- convPublicBrandEntrytoJSON brandlist
       return $ LBS.unpack json

只需将您分支的条件传递给它。

尼克拉斯的第三分

我也不明白为什么convPublicBrandEntrytoJSON需要住在IO，但由于你没有提供它的定义，我不能在这里提出改进建议。

看起来也很有效，转换通常是纯函数。如果它存在的唯一原因是IO写作能力

json <- convPublicBrandEntrytoJSON brandlist

您应该知道您可以在 do-block 中绑定纯函数的结果

let json = convPublicBrandEntrytoJSON brandlist

使用let.

于 2013-04-10T18:29:29.487 回答