{"id":8187,"date":"2016-09-22T11:23:50","date_gmt":"2016-09-21T17:23:50","guid":{"rendered":"http:\/\/www.moonmile.net\/blog\/?p=8187"},"modified":"2016-09-24T14:48:58","modified_gmt":"2016-09-24T05:48:58","slug":"%e3%82%a2%e3%83%aa%e3%82%b9%e3%81%af%e7%84%a1%e9%99%90%e3%81%ab%e3%83%97%e3%83%a9%e3%83%80%e3%81%8b%e3%82%89%e7%8c%ab%e3%82%92%e5%8f%96%e3%82%8a%e5%87%ba%e3%81%99%ef%bc%88f%e7%b7%a8%ef%bc%89","status":"publish","type":"post","link":"http:\/\/www.moonmile.net\/blog\/archives\/8187","title":{"rendered":"\u30a2\u30ea\u30b9\u306f\u7121\u9650\u306b\u30d7\u30e9\u30c0\u304b\u3089\u732b\u3092\u53d6\u308a\u51fa\u3059\uff08F#\u7de8\uff09"},"content":{"rendered":"<p>\u30a2\u30ea\u30b9\u306f\u7121\u9650\u306b\u30d7\u30e9\u30c0\u304b\u3089\u732b\u3092\u53d6\u308a\u51fa\u3059 | Moonmile Solutions Blog<br \/>\n<a href=\"http:\/\/www.moonmile.net\/blog\/archives\/8179\">http:\/\/www.moonmile.net\/blog\/archives\/8179<\/a><\/p>\n<p>\u3053\u308c\u3092F#\u7248\u306b\u76f4\u3057\u3066\u307f\u308b\u3002<br \/>\n\u5b9f\u306f\u3001GetCats\u30e1\u30bd\u30c3\u30c9\u3092\u672b\u5c3e\u547c\u3073\u51fa\u3057\u306b\u3057\u3066\u3001F#\u306e\u307b\u3046\u306f\u7121\u9650\u306b\u732b\u3092\u53d6\u308a\u51fa\u305b\u308b&#8230;\u3068\u3044\u3046\u98a8\u306b\u3084\u308d\u3046\u3068\u601d\u3063\u305f\u306e\u3060\u304c\u3001\u3053\u306e\u65b9\u5f0f\u3060\u3068 lst \u306b\u8a70\u3081\u8fbc\u3080\u3068\u304d\u306b\u30b9\u30bf\u30c3\u30af\u30aa\u30fc\u30d0\u30fc\u30d5\u30ed\u30fc\u306b\u306a\u3063\u3066\u3057\u307e\u3046\u3002<br \/>\n\u6700\u521d\u306f head::tail \u65b9\u5f0f\u3067\u66f8\u3044\u3066\u3044\u305f\u306e\u3060\u304c\u3001\u306a\u3093\u304b\u9762\u5012\u306b\u306a\u3063\u3066\uff08\u30c4\u30ea\u30fc\u69cb\u9020\u3060\u304b\u3089\uff09\u3001\u5916\u90e8\u3067 list \u3092\u6301\u3063\u3066\u3044\u308b\u306e\u304c\u554f\u984c\u304b\u3082\u3002<\/p>\n<pre class=\"brush: fsharp; title: ; notranslate\" title=\"\">\r\ntype IObject() = do ()\r\ntype Cat(name) = \r\n    inherit IObject()\r\n    member val Name:string = name with get, set\r\n\r\ntype Bag() =\r\n    inherit IObject()\r\n    member val Items:IObject list = &#x5B;] with get, set\r\n    member x.Add(items) =\r\n        for it in items do\r\n            x.Items &lt;- it :: x.Items\r\n        x\r\n    \/\/ \u732b\u3060\u3051\u53d6\u308a\u51fa\u3059\r\n    member x.GetCats() =\r\n        let rec cats (bag:Bag) =\r\n            let mutable lst = &#x5B;]\r\n            for it in bag.Items do\r\n                if it.GetType() = typeof&lt;Cat&gt; then\r\n                    lst &lt;- it :: lst\r\n                else\r\n                    let bag = it :?&gt; Bag\r\n                    lst &lt;- lst @ cats bag\r\n            lst\r\n        cats x \r\n\r\n\/\/ main\r\n\/\/ \u5165\u308c\u5b50\u306e\u30d0\u30c3\u30b0\r\nlet prada = \r\n    Bag().Add(\r\n        &#x5B;Cat(&amp;quot;mike&amp;quot;);\r\n         Bag().Add( \r\n            &#x5B;Cat(&amp;quot;hop&amp;quot;);\r\n             Cat(&amp;quot;stop&amp;quot;);\r\n             Cat(&amp;quot;jump&amp;quot;)]);\r\n         Cat(&amp;quot;kuro&amp;quot;);\r\n         Cat(&amp;quot;shiro&amp;quot;)] )\r\n\/\/ \u732b\u306e\u307f\u53d6\u308a\u51fa\u3059\r\nfor it in prada.GetCats() do\r\n    let cat = it :?&gt; Cat\r\n    printfn &amp;quot;cat: %s &amp;quot; cat.Name \r\n\r\n\/\/ \u7121\u9650\u30d0\u30c3\u30b0\u3092\u4f5c\u308b\r\nlet mutable infbag = Bag().Add(&#x5B;Cat(&amp;quot;Cheshire&amp;quot;)])\r\ninfbag.Add(&#x5B;infbag]) |&gt; ignore\r\n\/\/ \u7121\u9650\u306b\u53d6\u308a\u51fa\u3059...\u3053\u3068\u306f\u3067\u304d\u306a\u3044\r\nfor it in infbag.GetCats() do\r\n    let cat = it :?&gt; Cat\r\n    printfn &amp;quot;cat: %s &amp;quot; cat.Name \r\n<\/pre>\n","protected":false},"excerpt":{"rendered":"<p>\u30a2\u30ea\u30b9\u306f\u7121\u9650\u306b\u30d7\u30e9\u30c0\u304b\u3089\u732b\u3092\u53d6\u308a\u51fa\u3059 | Moonmile Solutions Blog http:\/\/www.moonmile.net\/blog\/archives\/8179 \u3053\u308c\u3092F#\u7248\u306b\u76f4\u3057\u3066\u307f\u308b\u3002 \u5b9f\u306f\u3001GetCa &hellip; <a href=\"http:\/\/www.moonmile.net\/blog\/archives\/8187\">\u7d9a\u304d\u3092\u8aad\u3080 <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":3060,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[59],"tags":[],"class_list":["post-8187","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-f"],"jetpack_featured_media_url":"http:\/\/www.moonmile.net\/blog\/wp-content\/uploads\/2011\/12\/title-alice.jpg","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"http:\/\/www.moonmile.net\/blog\/wp-json\/wp\/v2\/posts\/8187","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.moonmile.net\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.moonmile.net\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.moonmile.net\/blog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/www.moonmile.net\/blog\/wp-json\/wp\/v2\/comments?post=8187"}],"version-history":[{"count":4,"href":"http:\/\/www.moonmile.net\/blog\/wp-json\/wp\/v2\/posts\/8187\/revisions"}],"predecessor-version":[{"id":8194,"href":"http:\/\/www.moonmile.net\/blog\/wp-json\/wp\/v2\/posts\/8187\/revisions\/8194"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/www.moonmile.net\/blog\/wp-json\/wp\/v2\/media\/3060"}],"wp:attachment":[{"href":"http:\/\/www.moonmile.net\/blog\/wp-json\/wp\/v2\/media?parent=8187"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.moonmile.net\/blog\/wp-json\/wp\/v2\/categories?post=8187"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.moonmile.net\/blog\/wp-json\/wp\/v2\/tags?post=8187"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}