Aeson嵌套记录的编码

在Haskell中，可以使用Aeson库来进行JSON编码和解码。当处理嵌套记录时，我们可以使用Aeson的对象类型来表示记录，并使用Aeson的ToJSON实例来定义如何将记录编码为JSON。

下面是一个示例代码，展示了如何使用Aeson来编码嵌套记录：

{-# LANGUAGE OverloadedStrings #-}

import Data.Aeson
import qualified Data.Text as T

data Person = Person
  { name :: T.Text
  , age :: Int
  } deriving (Show)

data Address = Address
  { street :: T.Text
  , city :: T.Text
  } deriving (Show)

data Employee = Employee
  { person :: Person
  , address :: Address
  } deriving (Show)

instance ToJSON Person where
  toJSON (Person name age) =
    object [ "name" .= name
           , "age" .= age
           ]

instance ToJSON Address where
  toJSON (Address street city) =
    object [ "street" .= street
           , "city" .= city
           ]

instance ToJSON Employee where
  toJSON (Employee person address) =
    object [ "person" .= person
           , "address" .= address
           ]

main :: IO ()
main = do
  let john = Person "John Doe" 30
      address = Address "123 Main St" "New York"
      employee = Employee john address
  putStrLn $ "JSON: " ++ (show $ encode employee)

在上面的例子中，我们定义了三个数据类型：Person、Address和Employee。每个数据类型都具有相应的ToJSON实例，用于定义如何将其编码为JSON对象。

在main函数中，我们创建了一个Employee对象，然后使用encode函数将其编码为JSON字符串。最后，我们通过putStrLn打印JSON字符串。

当运行这段代码时，输出将是以下JSON字符串：

JSON: "{\"address\":{\"city\":\"New York\",\"street\":\"123 Main St\"},\"person\":{\"age\":30,\"name\":\"John Doe\"}}"

这个JSON字符串表示了嵌套记录的编码结果：一个包含person和address字段的对象。person字段包含一个表示Person对象的JSON对象，而address字段包含一个表示Address对象的JSON对象。