Haskell - Aeson：尝试解码 JSON URL Req 时得到“Nothing”

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

现在我正在尝试“aeson”。

我想要做的是解析来自的 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)

我究竟做错了什么？

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

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

但我可以告诉你一些对你有帮助的事情：

• 首先，使用eitherDecode而不是decode：您将收到一条错误消息，而不仅仅是Nothing，这会对你有一点帮助。

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

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

我推荐你读一下这本著名的Artyom Kazak 编写的教程在艾森.这将对你有很大帮助，并且可能是我能给出的最好建议。

对于您的手动实例，假设是exactly您想要解析的文档，并且您只需要处理“全局报价”，它看起来或多或少像这样：

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 文档的类型一致。 “体积”是一个Int（字节限制的 int），可能是Integer（“数学”整数，无界限），但不是Float。您的“ltd”可以解析为一个字符串 - 但它可能应该是一个日期（Day from Data.Time将是第一选择 - 它已经有一个FromJSON实例，所以很可能它应该可以按原样解析）。变化百分比很可能无法像这样解析为 Float ，您需要为这种类型编写一个专用的解析器（并决定如何存储它 -Ratio是一个潜在的解决方案）。