{"id":2907,"date":"2015-04-21T15:00:51","date_gmt":"2015-04-21T06:00:51","guid":{"rendered":"http:\/\/blog.antenna.co.jp\/ILSoft2\/?p=2907"},"modified":"2015-04-21T15:00:51","modified_gmt":"2015-04-21T06:00:51","slug":"f-%e3%81%ae-seq-%e3%81%ab%e9%a9%9a%e3%81%8f","status":"publish","type":"post","link":"https:\/\/blog.antenna.co.jp\/ILSoft2\/archives\/2907\/","title":{"rendered":"F# \u306e Seq \u306b\u9a5a\u304f"},"content":{"rendered":"<p>.NET \u306e\u4e00\u7d1a\u5e02\u6c11\u3068\u300c\u306a\u308b\u3079\u304f\u300d\u8a2d\u8a08\u3055\u308c\u305f\u3068\u3044\u3046 F#\u3002\u4e00\u7d1a\u5e02\u6c11\u306b\u306a\u308c\u305f\u306e\u3060\u308d\u3046\u304b\u3002Visual Studio 2013 Community \u3067\u3082\u6700\u521d\u304b\u3089 F# \u304c\u4f7f\u3048\u308b\u3002\u304c\u3057\u304b\u3057\u3001GUI \u30d7\u30ed\u30b0\u30e9\u30e0 (WPF \u30d7\u30ed\u30b0\u30e9\u30e0) \u304c\u4f5c\u308c\u308b\u3088\u3046\u306b\u306f\u306a\u3063\u3066\u3044\u306a\u3044\u3002\u62e1\u5f35\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u300cF# Empty Windows App (WPF)\u300d\u3092\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3059\u308b\u3053\u3068\u3067 GUI \u30d7\u30ed\u30b0\u30e9\u30e0\u304c\u4f5c\u308c\u308b\u3088\u3046\u306b\u306a\u308b\u3002\u559c\u3093\u3067\u4f7f\u3044\u59cb\u3081\u308b\u304c\u3001\u3069\u3046\u3082\u30d7\u30ed\u30d1\u30c6\u30a3\u3067 GUI \u30b3\u30f3\u30c8\u30ed\u30fc\u30eb\u3092\u30d0\u30a4\u30f3\u30c9\u3059\u308b\u90e8\u5206\u304c\u3061\u3083\u3093\u3068\u52d5\u304b\u306a\u3044\u3002\u30c4\u30ea\u30fc\u8868\u73fe\u306e\u30b3\u30f3\u30c8\u30ed\u30fc\u30eb\uff08\u30d1\u30b9\uff09\u3067\u30a2\u30a4\u30c6\u30e0\u3092\u9078\u3079\u308b\u306e\u3060\u304c\u3001\u30a2\u30a4\u30c6\u30e0\u540d\u304c\u8868\u793a\u3055\u308c\u306a\u3044\u306e\u3067\u4f55\u3092\u9078\u3093\u3067\u308b\u306e\u304b\u308f\u304b\u3089\u306a\u3044\u3002\u9078\u3076\u3068 XAML \u30d5\u30a1\u30a4\u30eb\u304c\u5909\u66f4\u3055\u308c\u308b\u306e\u3067\u52d5\u3044\u3066\u306f\u3044\u308b\u3088\u3046\u3060\u3002\u3053\u308c\u304c\u30d0\u30b0\u306a\u306e\u304b\u3001\u305f\u307e\u305f\u307e\u5fae\u5999\u306b\u52d5\u3044\u3066\u308b\u3060\u3051\u306a\u306e\u304b\u308f\u304b\u3089\u306a\u3044\u3002F# \u306f\u6b63\u898f\u306b\u306f WPF \u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u4f5c\u308c\u308b\u3088\u3046\u306b\u306f\u306a\u3063\u3066\u306a\u3044\u306e\u3060\u304b\u3089\u305f\u307e\u305f\u307e\u5fae\u5999\u306b\u52d5\u3044\u3066\u308b\u3060\u3051\u3068\u3044\u3046\u53ef\u80fd\u6027\u306f\u9ad8\u3044\u3002\u306a\u3093\u306b\u305b\u3088\u7d50\u5c40 XAML \u306f\u624b\u3067\u89e6\u3089\u306a\u3044\u3068\u3044\u3051\u306a\u3044\u3002\u4e00\u7d1a\u5e02\u6c11\u306d\u3047\u3002<\/p>\n<p>\u30d7\u30ed\u30d1\u30c6\u30a3\u3092\u30a4\u30d9\u30f3\u30c8\u30e2\u30fc\u30c9\u306b\u3059\u308b\u3068\u300c\u30a4\u30d9\u30f3\u30c8\u30cf\u30f3\u30c9\u30e9\u30fc\u3092\u8ffd\u52a0\u3059\u308b\u524d\u306b\u3001\u5206\u96e2\u30b3\u30fc\u30c9\u30d5\u30a1\u30a4\u30eb\u3068\u30af\u30e9\u30b9\u5b9a\u7fa9\u3092\u8ffd\u52a0\u3057\u3066\u304f\u3060\u3055\u3044\u3002\u300d\u306a\u3069\u3068\u304a\u9858\u3044\u3055\u308c\u3061\u3083\u3046\u3002\u5206\u96e2\u30b3\u30fc\u30c9\u3063\u3066\u306a\u3093\u3060\uff1f\u3000\u3068\u8abf\u3079\u308b\u3068\u3001C# \u306e partial class \u3092\u4f7f\u3063\u3066 XAML \u306e\u5b9a\u7fa9\u3068 C# \u306e\u5b9a\u7fa9\u3092\u878d\u5408\u3059\u308b\u3068\u3044\u3063\u305f\u3053\u3068\u3092\u3059\u308b\u3088\u3046\u3060\u3002\u554f\u984c\u306f F# \u306b\u306f partial class \u306a\u3093\u3066\u6982\u5ff5\u304c\u306a\u3044\u3053\u3068\u3002\u5c06\u6765\u7684\u306b\u306f\u30b5\u30dd\u30fc\u30c8\u3055\u308c\u308b\u306e\u304b\u3082\u3057\u308c\u306a\u3044\u304c\u3001VS2013 \u306e F#\uff08\u30d0\u30fc\u30b8\u30e7\u30f33.1.2\uff09 \u306b\u306f\u5b58\u5728\u3057\u306a\u3044\u3002\u56f0\u3063\u305f\u305e\u3002\u3057\u304b\u305f\u304c\u306a\u3044\u306e\u3067\u3001\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u306e\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u3092\u8868\u3059 App.xaml \u3092\u4f7f\u3046\u306e\u3092\u6b62\u3081\u3001\u30b3\u30fc\u30c9\u3067\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u306e\u521d\u671f\u5316\u3092\u8a18\u8ff0\u3057\u305f\u3002\u30a4\u30d9\u30f3\u30c8\u30cf\u30f3\u30c9\u30e9\u306f\u30b3\u30fc\u30c9\u3067\u8ffd\u52a0\u3002\u307e\u3055\u3057\u304f\u624b\u3067\u8ffd\u52a0\u3002\u56f0\u3063\u305f\u4e00\u7d1a\u5e02\u6c11\u3060\u3002<\/p>\n<p>\u305d\u3093\u306a\u3001\u7686\u3055\u3093\u306e\u30c7\u30a3\u30b9\u30af\u306e\u80a5\u3084\u3057\u306b\u306a\u3063\u3066\u3044\u308b\u3060\u308d\u3046 F# \u306e Seq \u306b\u9a5a\u304b\u3055\u308c\u305f\u3002<\/p>\n<p>.NET \u306e ZipArchive \u30af\u30e9\u30b9\u306e Entries \u30d7\u30ed\u30d1\u30c6\u30a3\u306f ReadOnlyCollection&lt;ZipArchiveEntry&gt; \u3068\u3044\u3046\u578b\u306a\u306e\u3060\u304c\u3001\u3053\u3046\u3044\u3063\u305f .NET \u3067\u3088\u304f\u4f7f\u308f\u308c\u308b\u30b3\u30ec\u30af\u30b7\u30e7\u30f3\u306f F# \u3067\u306f List \u306e\u95a2\u6570\u3067\u306f\u76f4\u63a5\u6271\u3048\u306a\u3044\u3002\u3068\u3053\u308d\u304c Seq \u306e\u95a2\u6570\u3067\u306f\u6271\u3048\u308b\u3002\u3067\u3001map \u3084 iter \u306a\u3069 Seq \u306e\u95a2\u6570\u3092 List \u306e\u95a2\u6570\u306e\u3064\u3082\u308a\u3067\uff08\u5927\u6982\u540c\u3058\u3082\u306e\u304c\u3042\u308b\uff09\u4f7f\u3063\u3066\u308b\u3068\u305d\u306e\u4ed5\u69d8\u306e\u9055\u3044\u306b\u7a81\u7136\u9a5a\u304b\u3055\u308c\u308b\u3002\u3067\u3001\u78ba\u8a8d\u306e\u305f\u3081\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u66f8\u3044\u305f\u3002<\/p>\n<pre>let OnList (d0) =\n    let _ = stderr.WriteLine(\"## OnList ##\")\n    let _ = stderr.WriteLine(\"part 1\")\n    let c = ref 0\n    let d1 = \n        List.map \n            (fun (s: string) -&gt; \n                let _ = stderr.WriteLine(\"function list 1\")\n                c := !c + 1\n                s.ToUpper() + string !c\n            ) \n            d0\n    if List.length d1 &gt; 2 then\n        let _ = stdout.WriteLine(\"part 2\")\n        let d2 = \n            List.map\n                (fun (s: string) -&gt; \n                    let _ = stderr.WriteLine(\"function list 2\")\n                    s\n                ) \n                d1\n        d2\n    else\n        []\n\nlet OnSeq (d0) =\n    let _ = stderr.WriteLine(\"## OnSeq ##\")\n    let _ = stderr.WriteLine(\"sect 1\")\n    let c = ref 0\n    let d1 = \n        Seq.map \n            (fun (s: string) -&gt; \n                let _ = stderr.WriteLine(\"function seq 1\")\n                c := !c + 1\n                s.ToUpper() + string !c\n            ) \n            d0\n    if Seq.length d1 &gt; 2 then\n    \/\/if true then\n        let _ = stderr.WriteLine(\"sect 2\")\n        let d2 = \n            Seq.map\n                (fun (s: string) -&gt; \n                    stderr.WriteLine(\"function seq 2\")\n                    s\n                ) \n                d1\n        Seq.toList d2\n    else\n        []\n\n[&lt;EntryPoint&gt;]\nlet main argv =\n    let ls1 = [ \"abc\"; \"def\"; \"ghi\" ]\n    let r1 = OnList(ls1)\n    let _ = List.iter (fun (s: string) -&gt; stdout.WriteLine(s)) r1\n    let r2 = OnSeq(ls1)\n    let _ = List.iter (fun (s: string) -&gt; stdout.WriteLine(s)) r2\n    0<\/pre>\n<p>OnList \u95a2\u6570\u3068 OnSeq \u95a2\u6570\u306f\u3069\u3061\u3089\u3082\u5165\u529b\u306e\u6587\u5b57\u5217\u30ea\u30b9\u30c8\u3092\u95a2\u65701 \u3067\u5927\u6587\u5b57\u306b\u5909\u63db\u3057\u3066\u9806\u5e8f\u6570\u3092\u4ed8\u3051\u3066\u3001\u30ea\u30b9\u30c8\u30b5\u30a4\u30ba\u304c 2 \u3088\u308a\u5927\u304d\u304b\u3063\u305f\u3089\u95a2\u65702 \u3092\u901a\u3063\u3066\u5909\u63db\u5f8c\u306e\u30ea\u30b9\u30c8\u3092\u8fd4\u3059\u3002\u95a2\u65702 \u3067\u306f\u4f55\u3082\u3055\u305b\u3066\u306a\u3044\u304c\u3001\u4f55\u304b\u3057\u3066\u3082\u3057\u306a\u304f\u3066\u3082\u540c\u3058\u306a\u306e\u3067\u7701\u7565\u3057\u305f\u3002OnList \u95a2\u6570\u3068 OnSeq \u95a2\u6570\u306e\u9055\u3044\u306f List \u306e\u95a2\u6570\u3092\u4f7f\u3046\u304b Seq \u306e\u95a2\u6570\u3092\u4f7f\u3046\u304b\u3060\u3051\u3002<\/p>\n<p>OnList \u306e\u5b9f\u884c\u7d50\u679c\u306f\u4ee5\u4e0b\u306e\u901a\u308a\u3002<\/p>\n<pre>## OnList ##\npart 1\nfunction list 1\nfunction list 1\nfunction list 1\npart 2\nfunction list 2\nfunction list 2\nfunction list 2\nABC1\nDEF2\nGHI3<\/pre>\n<p>\u76ee\u8ad6\u3093\u3060\u901a\u308a\u3001\u30ea\u30b9\u30c8\u8981\u7d20\u306e\u56de\u6570\u3060\u3051\u95a2\u65701 \u3068\u95a2\u65702 \u304c\u547c\u3070\u308c\u3066\u3044\u308b\u3002<\/p>\n<p>OnSeq \u306e\u5b9f\u884c\u7d50\u679c\u306f\u4ee5\u4e0b\u306e\u901a\u308a\u3002<\/p>\n<pre>## OnSeq ##\nsect 1\nfunction seq 1\nfunction seq 1\nfunction seq 1\nsect 2\nfunction seq 1\nfunction seq 2\nfunction seq 1\nfunction seq 2\nfunction seq 1\nfunction seq 2\nABC4\nDEF5\nGHI6<\/pre>\n<p>\u95a2\u65701 \u304c 2 \u56de\u305a\u3064\u547c\u3070\u308c\u3001\u53c2\u7167\u3092\u4f7f\u3063\u305f\u9806\u5e8f\u6570\u304c\u5909\u308f\u3063\u3066\u3057\u307e\u3063\u3066\u3044\u308b\u3002\u3053\u306e\u7a0b\u5ea6\u306e\u30b3\u30fc\u30c9\u3067\u7d50\u679c\u304c\u5909\u308f\u308b\u306e\u3067\u3042\u308b\u3002<\/p>\n<p>Seq \u306f\u9045\u5ef6\u8a55\u4fa1\u3055\u308c\u308b\u306e\u306b\u52a0\u3048\u3001\u8981\u7d20\u306e\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u304c\u5e38\u306b 1 \u3064\u3068\u3044\u3046\u5236\u9650\u304c\u3042\u308b\u3002\u3067\u3001<\/p>\n<pre>if Seq.length d1 &gt; 2 then<\/pre>\n<p>\u306e\u3068\u304d\u306b d1 \u304c\u8a55\u4fa1\u3055\u308c\u3001\u5206\u5c90\u3059\u308b\u306e\u3060\u304c\u3001\u95a2\u65702 \u3067\u306e\u8a55\u4fa1\u6642\u3001\u3082\u3046 d1 \u306e\u8981\u7d20\u306f\u4fdd\u6301\u3055\u308c\u3066\u3044\u306a\u3044\uff08\u8981\u7d20\u306e\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u306f\u5e38\u306b 1 \u3064\uff09\u305f\u3081\u518d\u5ea6\u95a2\u65701 \u304b\u3089\u3084\u308a\u76f4\u3057\u3066\u3044\u308b\u3002\u3068\u3053\u308d\u304c\u95a2\u65701 \u306f\u9806\u5e8f\u6570\u3092\u5f97\u308b\u306e\u306b\u53c2\u7167\u3092\u4f7f\u3063\u305f\u4ee3\u5165\u3092\u3057\u3066\u3044\u308b\u4e0d\u7d14\u306a\u95a2\u6570\u306a\u306e\u3067\u7d50\u679c\u304c\u5909\u5316\u3057\u3066\u3057\u307e\u3046\u306e\u3067\u3042\u308b\u3002\u3053\u306e\u95a2\u65701 \u304c\u7d14\u7c8b\u3067\u3082\u554f\u984c\u306f\u540c\u3058\u3002\u95a2\u65701 \u304c\u91cd\u3044\u51e6\u7406\u3060\u3063\u305f\u308a\u3057\u305f\u5834\u5408\u3001\u7121\u99c4\u306b CPU \u3068\u6642\u9593\u3092\u98df\u3046\u3053\u3068\u306b\u306a\u308b\u3002\u4e0d\u7d14\u306a\u95a2\u6570\u3092\u4f7f\u3063\u305f\u306e\u306f\u7d50\u679c\u304c\u5909\u5316\u3059\u308b\u3068\u3044\u3046\u3001\u3069\u3046\u8003\u3048\u3066\u3082\u30c0\u30e1\u306a\u5224\u308a\u3084\u3059\u3044\u7d50\u679c\u3092\u6562\u3048\u3066\u51fa\u3059\u305f\u3081\u3002<\/p>\n<pre>if true then<\/pre>\n<p>\u3068\u3044\u3046\u3088\u3046\u306b\u5206\u5c90\u306e\u5224\u5b9a\u3067\u3042\u308b d1 \u306e\u8a55\u4fa1\u3092\u3084\u3081\u308b\u3068\u3001\u95a2\u65701 \u306f\u8981\u7d20\u6570\u56de\u306e\u307f\u547c\u3073\u51fa\u3055\u308c\u308b\u3002<\/p>\n<p>\u3088\u3046\u306f Seq \u306b\u306f\u6c17\u3092\u4ed8\u3051\u308d\u3068\u3044\u3046\u3053\u3068\u3060\u3002.NET \u306e\u30b3\u30ec\u30af\u30b7\u30e7\u30f3\u304c\u30c7\u30d5\u30a9\u30eb\u30c8\u3067\u306f Seq \u3067\u3057\u304b\u6271\u3048\u306a\u3044\u306e\u306f\u3001\u3069\u3046\u8003\u3048\u3066\u3082\u7f60\u3002\u5f37\u70c8\u306a\u7f60\u3002<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>.NET \u306e\u4e00\u7d1a\u5e02\u6c11\u3068\u300c\u306a\u308b\u3079\u304f\u300d\u8a2d\u8a08\u3055\u308c\u305f\u3068\u3044\u3046 F#\u3002\u4e00\u7d1a\u5e02\u6c11\u306b\u306a\u308c\u305f\u306e\u3060\u308d\u3046\u304b\u3002Visual Studio 2013 Community \u3067\u3082\u6700\u521d\u304b\u3089 F# \u304c\u4f7f\u3048\u308b\u3002\u304c\u3057\u304b\u3057\u3001GUI \u30d7\u30ed\u30b0\u30e9\u30e0 (WPF \u30d7\u30ed\u30b0 [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[10],"tags":[],"class_list":["post-2907","post","type-post","status-publish","format-standard","hentry","category-column"],"_links":{"self":[{"href":"https:\/\/blog.antenna.co.jp\/ILSoft2\/wp-json\/wp\/v2\/posts\/2907","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.antenna.co.jp\/ILSoft2\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.antenna.co.jp\/ILSoft2\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.antenna.co.jp\/ILSoft2\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.antenna.co.jp\/ILSoft2\/wp-json\/wp\/v2\/comments?post=2907"}],"version-history":[{"count":0,"href":"https:\/\/blog.antenna.co.jp\/ILSoft2\/wp-json\/wp\/v2\/posts\/2907\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.antenna.co.jp\/ILSoft2\/wp-json\/wp\/v2\/media?parent=2907"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.antenna.co.jp\/ILSoft2\/wp-json\/wp\/v2\/categories?post=2907"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.antenna.co.jp\/ILSoft2\/wp-json\/wp\/v2\/tags?post=2907"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}