{"id":45332,"date":"2023-08-08T19:03:55","date_gmt":"2024-02-14T11:03:07","guid":{"rendered":"https:\/\/www.silicloud.com\/zh\/blog\/45332-2\/"},"modified":"2024-04-30T17:38:11","modified_gmt":"2024-04-30T09:38:11","slug":"45332-2","status":"publish","type":"post","link":"https:\/\/www.silicloud.com\/zh\/blog\/45332-2\/","title":{"rendered":""},"content":{"rendered":"

\u5c11\u3057\u524d\u306bRust\u306enightly\u306bGAT\u304c\u5165\u3063\u305f\u3089\u3057\u3044\u306e\u3067\u3001Functors, Applicatives, And Monads In Pictures\u306eFunctor\u307e\u3067\u3092\u3001Rust\u3067\u66f8\u3044\u3066\u307f\u308b\u3053\u3068\u306b\u3057\u307e\u3057\u305f\u3002<\/p>\n

Rust\u306f\u8da3\u5473\u3067\u30b3\u30fc\u30c9\u3092\u66f8\u3044\u3066\u3044\u308b\u7a0b\u5ea6\u3067\u3001Haskell\u306f\u4e00\u884c\u3082\u66f8\u3044\u305f\u3053\u3068\u304c\u3042\u308a\u307e\u305b\u3093\u3002\u305d\u308c\u306b\u3001\u30e2\u30ca\u30c9\u304c\u4f55\u306a\u306e\u304b\u3082\u30b5\u30c3\u30d1\u30ea\u5206\u304b\u308a\u307e\u305b\u3093\u3002\u306a\u306e\u3067\u3001\u3053\u306e\u8a18\u4e8b\u306e\u5185\u5bb9\u306f\u6b63\u3057\u304f\u306a\u3044\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u3002\u3069\u3046\u304b\u3054\u4e86\u627f\u304f\u3060\u3055\u3044\u307e\u3059\u3088\u3046\u304a\u9858\u3044\u81f4\u3057\u307e\u3059\u3002<\/p>\n

\u3042\u3068\u3001\u4eca\u56de\u4f7f\u7528\u3057\u305fRust\u306e\u30d0\u30fc\u30b8\u30e7\u30f3\u306f\u3001\u300crustc 1.51.0-nightly (0b644e419 2020-12-26)\u300d\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n

\u53c2\u8003\u8cc7\u6599<\/h2>\n

Functors, Applicatives, And Monads In Pictures
\n\u7bb1\u3067\u8003\u3048\u308bFunctor\u3001Applicative\u305d\u3057\u3066Monad
\nMonads and GATs in nightly Rust
\nRust\u306eHigher-Kinded type Trait<\/p>\n

Maybe<\/h2>\n
data<\/span> Maybe<\/span> a<\/span> =<\/span> Nothing<\/span> |<\/span> Just<\/span> a<\/span>\r\n\r\n<\/code><\/pre>\n
Maybe \u30c7\u30fc\u30bf\u578b\u3001 Just a \u3068 Nothing \u306e\u72b6\u614b\u3092\u8868\u3059<\/p>\n
#[derive(Debug,<\/span> PartialEq)]<\/span>\r\nenum<\/span> Maybe<\/span><<\/span>A<\/span>><\/span> {<\/span>\r\n    Just<\/span>(<\/span>A<\/span>),<\/span>\r\n    Nothing<\/span>,<\/span>\r\n}<\/span>\r\n<\/code><\/pre>\n
Functor<\/h1>\n
><\/span> fmap<\/span> (<\/span>+<\/span>3<\/span>)<\/span> (<\/span>Just<\/span> 2<\/span>)<\/span>\r\nJust<\/span> 5<\/span>\r\n\r\n><\/span> fmap<\/span> (<\/span>+<\/span>3<\/span>)<\/span> Nothing<\/span>\r\nNothing<\/span>\r\n<\/code><\/pre>\n
\u7bb1\u306b\u5165\u3063\u305f\u5024\u306b\u95a2\u6570\u3092\u9069\u5fdc\u3057\u3066\u3001\u305d\u306e\u7d50\u679c\u3092\u7bb1\u306b\u5165\u308c\u3066\u8fd4\u3059\u307f\u305f\u3044\u306a\u611f\u3058<\/p>\n
Just(2) -> (+3) -> Just(5)<\/p>\n
\u3068\u308a\u3042\u3048\u305a\u66f8\u3044\u3066\u307f\u308b<\/p>\n
impl<\/span><<\/span>A<\/span>><\/span> Maybe<\/span><<\/span>A<\/span>><\/span> {<\/span>\r\n    pub<\/span> fn<\/span> fmap<\/span><<\/span>B<\/span>,<\/span> F<\/span>:<\/span> FnOnce<\/span>(<\/span>A<\/span>)<\/span> -><\/span> B<\/span>><\/span>(<\/span>self<\/span>,<\/span> f<\/span>:<\/span> F<\/span>)<\/span> -><\/span> Maybe<\/span><<\/span>B<\/span>><\/span> {<\/span>\r\n        match<\/span> self<\/span> {<\/span>\r\n            Maybe<\/span>::<\/span>Just<\/span>(<\/span>x<\/span>)<\/span> =><\/span> Maybe<\/span>::<\/span>Just<\/span>(<\/span>f<\/span>(<\/span>x<\/span>)),<\/span>\r\n            Maybe<\/span>::<\/span>Nothing<\/span> =><\/span> Maybe<\/span>::<\/span>Nothing<\/span>,<\/span>\r\n        }<\/span>\r\n    }<\/span>\r\n}<\/span>\r\n<\/code><\/pre>\n
\u30c6\u30b9\u30c8\u3057\u3066\u307f\u308b<\/p>\n
assert_eq!<\/span>(<\/span>Maybe<\/span>::<\/span>Just<\/span>(<\/span>2<\/span>)<\/span>.fmap<\/span>(|<\/span>v<\/span>|<\/span> 3<\/span> +<\/span> v<\/span>),<\/span> Maybe<\/span>::<\/span>Just<\/span>(<\/span>5<\/span>));<\/span>\r\nassert_eq!<\/span>(<\/span>Maybe<\/span>::<\/span>Nothing<\/span>.fmap<\/span>(|<\/span>v<\/span>:<\/span> i32<\/span>|<\/span> 3<\/span> +<\/span> v<\/span>),<\/span> Maybe<\/span>::<\/span>Nothing<\/span>);<\/span>\r\n<\/code><\/pre>\n
\u3053\u308c\u3063\u3066 Option<\/p>\n
assert_eq!<\/span>(<\/span>Some<\/span>(<\/span>2<\/span>)<\/span>.map<\/span>(|<\/span>v<\/span>|<\/span> 3<\/span> +<\/span> v<\/span>),<\/span> Some<\/span>(<\/span>5<\/span>));<\/span>\r\nassert_eq!<\/span>(<\/span>None<\/span>.map<\/span>(|<\/span>v<\/span>:<\/span> i32<\/span>|<\/span> 3<\/span> +<\/span> v<\/span>),<\/span> None<\/span>);<\/span>\r\n<\/code><\/pre>\n
Haskell \u306e typeclass \u306f\u3001Rust \u306e trait \u3089\u3057\u3044\u306e\u3067 trait \u3067\u66f8\u304d\u306a\u304a\u3059<\/p>\n
class<\/span> Functor<\/span> f<\/span> where<\/span>\r\n    map<\/span> ::<\/span> (<\/span>a<\/span> -><\/span> b<\/span>)<\/span> -><\/span> f<\/span> a<\/span> -><\/span> f<\/span> b<\/span>\r\ninstance<\/span> Functor<\/span> Maybe<\/span> where<\/span>\r\n    fmap<\/span> func<\/span> (<\/span>Just<\/span> val<\/span>)<\/span> =<\/span> Just<\/span> (<\/span>func<\/span> val<\/span>)<\/span>\r\n    fmap<\/span> func<\/span> Nothing<\/span> =<\/span> Nothing<\/span>\r\n<\/code><\/pre>\n
trait<\/span> Functor<\/span><<\/span>A<\/span>><\/span> {<\/span>\r\n    fn<\/span> fmap<\/span><<\/span>B<\/span>,<\/span> F<\/span>:<\/span> FnOnce<\/span>(<\/span>A<\/span>)<\/span> -><\/span> B<\/span>><\/span>(<\/span>self<\/span>,<\/span> f<\/span>:<\/span> F<\/span>)<\/span> -><\/span> Maybe<\/span><<\/span>B<\/span>><\/span>;<\/span>\r\n}<\/span>\r\n\r\nimpl<\/span><<\/span>A<\/span>><\/span> Functor<\/span><<\/span>A<\/span>><\/span> for<\/span> Maybe<\/span><<\/span>A<\/span>><\/span> {<\/span>\r\n    fn<\/span> fmap<\/span><<\/span>B<\/span>,<\/span> F<\/span>:<\/span> FnOnce<\/span>(<\/span>A<\/span>)<\/span> -><\/span> B<\/span>><\/span>(<\/span>self<\/span>,<\/span> f<\/span>:<\/span> F<\/span>)<\/span> -><\/span> Maybe<\/span><<\/span>B<\/span>><\/span> {<\/span>\r\n        match<\/span> self<\/span> {<\/span>\r\n            Maybe<\/span>::<\/span>Just<\/span>(<\/span>x<\/span>)<\/span> =><\/span> Maybe<\/span>::<\/span>Just<\/span>(<\/span>f<\/span>(<\/span>x<\/span>)),<\/span>\r\n            Maybe<\/span>::<\/span>Nothing<\/span> =><\/span> Maybe<\/span>::<\/span>Nothing<\/span>,<\/span>\r\n        }<\/span>\r\n    }<\/span>\r\n}<\/span>\r\n<\/code><\/pre>\n
\u3042\u308c\uff1f\u66f8\u3051\u305f\u6c17\u304c\u3059\u308b\uff1f<\/p>\n
GAT<\/h2>\n
\u6c17\u3092\u53d6\u308a\u76f4\u3057\u3066\u672c\u984c\u306eGAT\u3067\u66f8\u3044\u3066\u307f\u308b<\/p>\n
#![feature(generic_associated_types)]<\/p>\n
\u3092\u982d\u306b\u8ffd\u52a0\u3057\u3066<\/p>\n
trait<\/span> Functor<\/span> {<\/span>\r\n    type<\/span> Unwrapped<\/span>;<\/span>\r\n    type<\/span> Wrapped<\/span><<\/span>B<\/span>><\/span>:<\/span> Functor<\/span>;<\/span>\r\n\r\n    fn<\/span> fmap<\/span><<\/span>F<\/span>,<\/span> B<\/span>><\/span>(<\/span>self<\/span>,<\/span> f<\/span>:<\/span> F<\/span>)<\/span> -><\/span> Self<\/span>::<\/span>Wrapped<\/span><<\/span>B<\/span>><\/span>\r\n    where<\/span>\r\n        F<\/span>:<\/span> FnOnce<\/span>(<\/span>Self<\/span>::<\/span>Unwrapped<\/span>)<\/span> -><\/span> B<\/span>;<\/span>\r\n}<\/span>\r\n\r\nimpl<\/span><<\/span>A<\/span>><\/span> Functor<\/span> for<\/span> Maybe<\/span><<\/span>A<\/span>><\/span> {<\/span>\r\n    type<\/span> Unwrapped<\/span> =<\/span> A<\/span>;<\/span>\r\n    type<\/span> Wrapped<\/span><<\/span>B<\/span>><\/span> =<\/span> Maybe<\/span><<\/span>B<\/span>><\/span>;<\/span>\r\n\r\n    fn<\/span> fmap<\/span><<\/span>F<\/span>:<\/span> FnOnce<\/span>(<\/span>A<\/span>)<\/span> -><\/span> B<\/span>,<\/span> B<\/span>><\/span>(<\/span>self<\/span>,<\/span> f<\/span>:<\/span> F<\/span>)<\/span> -><\/span> Maybe<\/span><<\/span>B<\/span>><\/span> {<\/span>\r\n        match<\/span> self<\/span> {<\/span>\r\n            Maybe<\/span>::<\/span>Just<\/span>(<\/span>x<\/span>)<\/span> =><\/span> Maybe<\/span>::<\/span>Just<\/span>(<\/span>f<\/span>(<\/span>x<\/span>)),<\/span>\r\n            Maybe<\/span>::<\/span>Nothing<\/span> =><\/span> Maybe<\/span>::<\/span>Nothing<\/span>,<\/span>\r\n        }<\/span>\r\n    }<\/span>\r\n}<\/span>\r\n<\/code><\/pre>\n
HKT<\/h2>\n
\u5b9f\u306fGAT\u5165\u308b\u524d\u304b\u3089\u66f8\u3051\u3066\u305f<\/p>\n
Rust\u306b\u306fHKT\u306a\u3044\u3051\u3069\u3001\u95a2\u9023\u578b\u3092\u99c6\u4f7f\u3057\u3066\u66f8\u3051\u308b\u3089\u3057\u3044<\/p>\n
trait<\/span> HKT<\/span><<\/span>U<\/span>><\/span> {<\/span>\r\n    type<\/span> Unwrapped<\/span>;<\/span>\r\n    type<\/span> Wrapped<\/span>;<\/span>\r\n}<\/span>\r\n\r\ntrait<\/span> Functor<\/span><<\/span>U<\/span>><\/span>:<\/span> HKT<\/span><<\/span>U<\/span>><\/span> {<\/span>\r\n    fn<\/span> fmap<\/span><<\/span>F<\/span>:<\/span> FnOnce<\/span>(<\/span>Self<\/span>::<\/span>Unwrapped<\/span>)<\/span> -><\/span> U<\/span>><\/span>(<\/span>self<\/span>,<\/span> f<\/span>:<\/span> F<\/span>)<\/span> -><\/span> Self<\/span>::<\/span>Wrapped<\/span>;<\/span>\r\n}<\/span>\r\n\r\nimpl<\/span><<\/span>A<\/span>,<\/span> U<\/span>><\/span> HKT<\/span><<\/span>U<\/span>><\/span> for<\/span> Maybe<\/span><<\/span>A<\/span>><\/span> {<\/span>\r\n    type<\/span> Unwrapped<\/span> =<\/span> A<\/span>;<\/span>\r\n    type<\/span> Wrapped<\/span> =<\/span> Maybe<\/span><<\/span>U<\/span>><\/span>;<\/span>\r\n}<\/span>\r\n\r\nimpl<\/span><<\/span>A<\/span>,<\/span> U<\/span>><\/span> Functor<\/span><<\/span>U<\/span>><\/span> for<\/span> Maybe<\/span><<\/span>A<\/span>><\/span> {<\/span>\r\n    fn<\/span> fmap<\/span><<\/span>F<\/span>:<\/span> FnOnce<\/span>(<\/span>Self<\/span>::<\/span>Unwrapped<\/span>)<\/span> -><\/span> U<\/span>><\/span>(<\/span>self<\/span>,<\/span> f<\/span>:<\/span> F<\/span>)<\/span> -><\/span> Self<\/span>::<\/span>Wrapped<\/span> {<\/span>\r\n        match<\/span> self<\/span> {<\/span>\r\n            Maybe<\/span>::<\/span>Just<\/span>(<\/span>x<\/span>)<\/span> =><\/span> Maybe<\/span>::<\/span>Just<\/span>(<\/span>f<\/span>(<\/span>x<\/span>)),<\/span>\r\n            Maybe<\/span>::<\/span>Nothing<\/span> =><\/span> Maybe<\/span>::<\/span>Nothing<\/span>,<\/span>\r\n        }<\/span>\r\n    }<\/span>\r\n}<\/span>\r\n<\/code><\/pre>\n
\u307e\u3068\u3081<\/h2>\n
\u300ctype Wrapped: Functor;\u300d\u306a\u90e8\u5206\u304cGAT(Generic Associated Types)\u306a\u3068\u3053\u308d<\/b><\/p>\n
\u305d\u308c\u306b\u3057\u3066\u3082\u30e2\u30ca\u30c9\u304c\u4f55\u306a\u306e\u304b\u30b5\u30c3\u30d1\u30ea\u308f\u304b\u3089\u3093<\/p>\n","protected":false},"excerpt":{"rendered":"
\u5c11\u3057\u524d\u306bRust\u306enightly\u306bGAT\u304c\u5165\u3063\u305f\u3089\u3057\u3044\u306e\u3067\u3001Functors, Applicatives, A […]<\/p>\n","protected":false},"author":7,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-45332","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"yoast_head":"\n- Blog - Silicon Cloud<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.silicloud.com\/zh\/blog\/45332-2\/\" \/>\n<meta property=\"og:locale\" content=\"zh_CN\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:description\" content=\"\u5c11\u3057\u524d\u306bRust\u306enightly\u306bGAT\u304c\u5165\u3063\u305f\u3089\u3057\u3044\u306e\u3067\u3001Functors, Applicatives, A […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.silicloud.com\/zh\/blog\/45332-2\/\" \/>\n<meta property=\"og:site_name\" content=\"Blog - Silicon Cloud\" \/>\n<meta property=\"article:published_time\" content=\"2024-02-14T11:03:07+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-04-30T09:38:11+00:00\" \/>\n<meta name=\"author\" content=\"\u79d1, \u9896\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u4f5c\u8005\" \/>\n\t<meta name=\"twitter:data1\" content=\"\u79d1, \u9896\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 \u5206\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/45332-2\/\",\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/45332-2\/\",\"name\":\"- Blog - Silicon Cloud\",\"isPartOf\":{\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#website\"},\"datePublished\":\"2024-02-14T11:03:07+00:00\",\"dateModified\":\"2024-04-30T09:38:11+00:00\",\"author\":{\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/8ca01ba7f7362ad4edb7da206a12f29e\"},\"inLanguage\":\"zh-Hans\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.silicloud.com\/zh\/blog\/45332-2\/\"]}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#website\",\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/\",\"name\":\"Blog - Silicon Cloud\",\"description\":\"\",\"inLanguage\":\"zh-Hans\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/8ca01ba7f7362ad4edb7da206a12f29e\",\"name\":\"\u79d1, \u9896\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/8a6fb3cc7ba2f69d2189ba532aec4633ea7ed75ac0af162ec367cb3abc0fb2af?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/8a6fb3cc7ba2f69d2189ba532aec4633ea7ed75ac0af162ec367cb3abc0fb2af?s=96&d=mm&r=g\",\"caption\":\"\u79d1, \u9896\"},\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/author\/keying\/\"},{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/45332-2\/#local-main-organization-logo\",\"url\":\"\",\"contentUrl\":\"\",\"caption\":\"Blog - Silicon Cloud\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"- Blog - Silicon Cloud","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.silicloud.com\/zh\/blog\/45332-2\/","og_locale":"zh_CN","og_type":"article","og_description":"\u5c11\u3057\u524d\u306bRust\u306enightly\u306bGAT\u304c\u5165\u3063\u305f\u3089\u3057\u3044\u306e\u3067\u3001Functors, Applicatives, A […]","og_url":"https:\/\/www.silicloud.com\/zh\/blog\/45332-2\/","og_site_name":"Blog - Silicon Cloud","article_published_time":"2024-02-14T11:03:07+00:00","article_modified_time":"2024-04-30T09:38:11+00:00","author":"\u79d1, \u9896","twitter_card":"summary_large_image","twitter_misc":{"\u4f5c\u8005":"\u79d1, \u9896","\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4":"2 \u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.silicloud.com\/zh\/blog\/45332-2\/","url":"https:\/\/www.silicloud.com\/zh\/blog\/45332-2\/","name":"- Blog - Silicon Cloud","isPartOf":{"@id":"https:\/\/www.silicloud.com\/zh\/blog\/#website"},"datePublished":"2024-02-14T11:03:07+00:00","dateModified":"2024-04-30T09:38:11+00:00","author":{"@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/8ca01ba7f7362ad4edb7da206a12f29e"},"inLanguage":"zh-Hans","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.silicloud.com\/zh\/blog\/45332-2\/"]}]},{"@type":"WebSite","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#website","url":"https:\/\/www.silicloud.com\/zh\/blog\/","name":"Blog - Silicon Cloud","description":"","inLanguage":"zh-Hans"},{"@type":"Person","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/8ca01ba7f7362ad4edb7da206a12f29e","name":"\u79d1, \u9896","image":{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/8a6fb3cc7ba2f69d2189ba532aec4633ea7ed75ac0af162ec367cb3abc0fb2af?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/8a6fb3cc7ba2f69d2189ba532aec4633ea7ed75ac0af162ec367cb3abc0fb2af?s=96&d=mm&r=g","caption":"\u79d1, \u9896"},"url":"https:\/\/www.silicloud.com\/zh\/blog\/author\/keying\/"},{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.silicloud.com\/zh\/blog\/45332-2\/#local-main-organization-logo","url":"","contentUrl":"","caption":"Blog - Silicon Cloud"}]}},"_links":{"self":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45332","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/comments?post=45332"}],"version-history":[{"count":2,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45332\/revisions"}],"predecessor-version":[{"id":93325,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45332\/revisions\/93325"}],"wp:attachment":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/media?parent=45332"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/categories?post=45332"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/tags?post=45332"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}