json - Haskell-Aeson : Getting "Nothing" when trying to decode JSON URL Req

Question

我对 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)

我做错了什么？

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

Answer 1

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

但是我可以告诉你一些可以帮助你的事情:

• 首先，使用 eitherDecode 而不是 decode:您将收到一条错误消息，而不是简单的 Nothing，这将对您有所帮助有一点。

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

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

我建议您阅读这个著名的 tutorial written by Artyom Kazak在艾森。这将极大地帮助您，并且可能是我能提供的最佳建议。

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

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(字节限制的 int)，可能是 Integer(“数学”整数，无界限)，但不是 Float。您的“ltd”可以解析为一个字符串 - 但它可能应该是一个日期(Data.Time 中的 Day 将是首选 - 它已经有一个 FromJSON 实例，所以它应该可以按原样解析)。更改百分比很可能无法像 Float 那样解析，您需要为此类型编写专用解析器(并决定您希望如何存储它 - Ratio 是一个潜在的解决方案)。