首页 > 解决方案 > Haskell - Aeson:尝试解码 JSON URL Req 时得到“无”

问题描述

我对 haskell 比较陌生,现在我正在尝试更深入地了解并尝试习惯不同的流行库。

现在我正在尝试“aeson”。

我想要做的是解析来自https://www.alphavantage.co/query?function=GLOBAL_QUOTE&symbol=MSFT&apikey=demo的 MSFT 报价请求

这就是它的样子

{
    "Global Quote": {
        "01. symbol": "MSFT",
        "02. open": "105.3500",
        "03. high": "108.2400",
        "04. low": "105.2700",
        "05. price": "107.6000",
        "06. volume": "23308066",
        "07. latest trading day": "2018-10-11",
        "08. previous close": "106.1600",
        "09. change": "1.4400",
        "10. change percent": "1.3564%"
    }
}

这是我到目前为止所拥有的

{-# LANGUAGE DeriveGeneric     #-}
{-# LANGUAGE OverloadedStrings #-}

import           Data.Aeson
import qualified Data.ByteString.Lazy as B
import           GHC.Exts
import           GHC.Generics
import           Network.HTTP
import           Network.URI

jsonURL :: String
jsonURL = "http://www.alphavantage.co/query?function=GLOBAL_QUOTE&symbol=MSFT&apikey=demo"

getRequest_ :: HStream ty => String -> Request ty
getRequest_ s = let Just u = parseURI s in defaultGETRequest_ u

jsonReq = getRequest_ jsonURL

data Quote = Quote {quote         :: String,
                    symbol        :: String,
                    open          :: Float,
                    high          :: Float,
                    low           :: Float,
                    price         :: Float,
                    volume        :: Float,
                    ltd           :: String,
                    previousClose :: Float,
                    change        :: Float,
                    changePerct   :: Float
                   } deriving (Show, Generic)

instance FromJSON Quote
instance ToJSON Quote


main :: IO ()
main = do
  d <- simpleHTTP jsonReq
  body <- getResponseBody d
  print (decode body :: Maybe Quote)

我究竟做错了什么?

编辑:答案中的固定版本。

标签: jsonparsinghaskellaeson

解决方案


首先:Aeson对初学者来说并不是最简单的库。当然,还有更难的,但它假设你已经对这门语言有相当多的了解。你一开始没有选择“最简单的任务”。我知道这可能会令人惊讶,您可能会认为解析 JSON 应该很简单,但解析具有强类型保证的 JSON 实际上并没有那么简单。

但是,我可以告诉您一些帮助:

  • 首先,使用eitherDecode而不是decode:你会得到一个错误信息,而不是简单Nothing的,这会对你有所帮助。

  • 推导Generic很简洁,而且通常可以节省时间,但这也不是魔术。对象键的名称和数据类型字段的名称必须完全匹配。遗憾的是,这里不是这种情况,并且由于 haskell 语法,您不能将字段命名为对象的键。您最好的解决方案是手动实现 FromJSON(请参阅下面的推荐链接)。通过通用 FromJSON 查看“预期内容”的一个好方法是也派生 ToJSON,创建一个虚拟对象Quote并查看encode.

  • 您的第一个字段 ( quote) 不是对象本身的键,而是该对象的名称。所以你有动态键(“全球报价”在这里是一个)。再一次,这通常是您想要手动编写 FromJSON 实例的情况。

我建议您阅读Artyom Kazak 在 Aeson 上撰写的著名教程。这将极大地帮助您,并且可能是我能给出的最佳建议。

对于您的手动实例,假设它正是您要解析的文档并且您只有“全球报价”要处理,它看起来或多或少像这样:

instance ToJSON Quote where
  parseJSON = withObject "Document" $
    \d -> do
        glob <- d .: "Global Quote"
        withObject "Quote" v (\gq ->
          Quote <$> gq .: "01. symbol"
                <*> pure "Global Quote"
                <*> gq .: "02. open"
                <*> gq .: "03. high"
          -- ... and so on
         ) v

(这不是最漂亮的方式,也不是最好的方式来编写它,但它应该是一种可能的方式)。

另请注意,正如一位精明的评论者所写,您的字段类型并不总是与您的示例 JSON 文档的类型一致。"volume" 是一个Int(byte-limited int),可能是一个Integer("mathematical" integer, no bound),但不是一个Float. 您的“ltd”可以解析为一个字符串 - 但它可能应该是一个日期(DayfromData.Time将是第一选择 - 它已经有一个FromJSON实例,因此它应该可以按原样解析)。更改百分比很可能无法像 Float 那样解析,您需要为这种类型编写一个专用的解析器(并决定如何存储它——这Ratio是一个潜在的解决方案)。


推荐阅读