{"id":4785,"date":"2023-02-27T11:59:01","date_gmt":"2023-02-27T02:59:01","guid":{"rendered":"https:\/\/p-corporate-blog-cms.mmmcorp.co.jp\/?p=4785"},"modified":"2023-02-27T11:59:01","modified_gmt":"2023-02-27T02:59:01","slug":"kyopro-haskell","status":"publish","type":"post","link":"https:\/\/cms-mordpress.test.mmmcorp.co.jp\/2023\/02\/27\/kyopro-haskell\/","title":{"rendered":"Haskell\u3067\u7af6\u6280\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3092\u3059\u308b\u305f\u3081\u306e\u74b0\u5883\u69cb\u7bc9"},"content":{"rendered":"<div id=\"rtoc-mokuji-wrapper\" class=\"rtoc-mokuji-content frame4 preset5 animation-slide rtoc_open noto-sans\" data-id=\"4785\" data-theme=\"DWS BLOG 2023\">\n\t\t\t<div id=\"rtoc-mokuji-title\" class=\" rtoc_left\">\n\t\t\t<button class=\"rtoc_open_close rtoc_open\"><\/button>\n\t\t\t<span>\u76ee\u6b21<\/span>\n\t\t\t<\/div><ol class=\"rtoc-mokuji decimal_ol level-1\"><li class=\"rtoc-item\"><a href=\"#rtoc-1\">\u306f\u3058\u3081\u306b<\/a><\/li><li class=\"rtoc-item\"><a href=\"#rtoc-2\">GHCup\u306e\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb<\/a><\/li><li class=\"rtoc-item\"><a href=\"#rtoc-3\">GHCup\u30b3\u30de\u30f3\u30c9\u306e\u78ba\u8a8d<\/a><\/li><li class=\"rtoc-item\"><a href=\"#rtoc-4\">Visual Studio Code\u306e\u8a2d\u5b9a<\/a><\/li><li class=\"rtoc-item\"><a href=\"#rtoc-5\">AtCoder\u306b\u30b3\u30fc\u30c9\u3092\u63d0\u51fa\u3059\u308b<\/a><\/li><li class=\"rtoc-item\"><a href=\"#rtoc-6\">\u53c2\u8003<\/a><\/li><\/ol><\/div><h2 id=\"rtoc-1\" >\u306f\u3058\u3081\u306b<\/h2>\n<p>\u6700\u8fd1\u3001\u793e\u5185\u3067Haskell\u3092\u5b66\u3076\u71b1\u610f\u304c\u9ad8\u307e\u3063\u3066\u304a\u308a\u3001\u79c1\u3082\u7af6\u6280\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3067Haskell\u3092\u4f7f\u3044\u305f\u3044\u3068\u8003\u3048\u3001\u74b0\u5883\u69cb\u7bc9\u3092\u884c\u3044\u307e\u3057\u305f\u3002\u3053\u306e\u8a18\u4e8b\u3067\u306f\u3001Haskell\u306e\u5b9f\u884c\u74b0\u5883\u306e\u69cb\u7bc9\u304b\u3089\u3001Visual Studio Code\u4e0a\u3067\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u74b0\u5883\u306e\u8a2d\u5b9a\u3001\u305d\u3057\u3066AtCoder\u3078\u306e\u63d0\u51fa\u307e\u3067\u306e\u624b\u9806\u3092\u7d39\u4ecb\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>\u306a\u304a\u3001\u672c\u8a18\u4e8b\u3067\u306fHaskell\u81ea\u4f53\u306e\u89e3\u8aac\u306f\u884c\u3063\u3066\u304a\u3089\u305a\u3001\u5b9f\u884c\u74b0\u5883\u306fMacOS\u3092\u60f3\u5b9a\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n<h2 id=\"rtoc-2\" >GHCup\u306e\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb<\/h2>\n<p>GHCup<br \/>\n<a href=\"https:\/\/www.haskell.org\/ghcup\/\"><a href=\"https:\/\/www.haskell.org\/ghcup\/\">https:\/\/www.haskell.org\/ghcup\/<\/a><\/a><\/p>\n<p>GHCup\u306f\u3001Haskell\u306e\u30b3\u30f3\u30d1\u30a4\u30e9\u3067\u3042\u308bGHC\u3092\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3059\u308b\u305f\u3081\u306e\u30c4\u30fc\u30eb\u3067\u3059\u3002\u8907\u6570\u306e\u30d0\u30fc\u30b8\u30e7\u30f3\u3092\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u30fb\u5207\u308a\u66ff\u3048\u3092\u3059\u308b\u305f\u3081\u306b\u4f7f\u7528\u3057\u307e\u3059\u3002<\/p>\n<p>\u516c\u5f0f\u306e\u30c8\u30c3\u30d7\u30da\u30fc\u30b8\u306b\u8a18\u8f09\u3055\u308c\u3066\u3044\u308b\u4ee5\u4e0b\u306e\u30b3\u30de\u30f3\u30c9\u3092\u5b9f\u884c\u3057\u307e\u3059\u3002<\/p>\n<pre><code class=\"language-bash\">curl --proto &#039;=https&#039; --tlsv1.2 -sSf https:\/\/get-ghcup.haskell.org | sh<\/code><\/pre>\n<h2 id=\"rtoc-3\" >GHCup\u30b3\u30de\u30f3\u30c9\u306e\u78ba\u8a8d<\/h2>\n<p>\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30b3\u30de\u30f3\u30c9\u3092\u5b9f\u884c\u3057\u3066\u3001\u554f\u984c\u304c\u306a\u3044\u304b\u78ba\u8a8d\u3067\u304d\u307e\u3059\u3002<\/p>\n<pre><code class=\"language-bash\"># \u30aa\u30d7\u30b7\u30e7\u30f3\u306e\u4e00\u89a7\u304c\u8868\u793a\u3055\u308c\u308b\n$ ghcup\n\n# \u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u72b6\u6cc1\u304c\u8868\u793a\u3055\u308c\u308b\n$ ghcup list\n\n# TUI\u304c\u8d77\u52d5\u3059\u308b\n$ ghcup tui<\/code><\/pre>\n<h2 id=\"rtoc-4\" >Visual Studio Code\u306e\u8a2d\u5b9a<\/h2>\n<p>\u4ee5\u4e0b\u306e\u30b3\u30de\u30f3\u30c9\u3067\u3001Haskell Language Server\u3092\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3057\u307e\u3059\u3002<\/p>\n<pre><code class=\"language-bash\">$ ghcup install hls<\/code><\/pre>\n<p>Visual Studio Code\u4e0a\u3067\u306f\u3001\u300cHaskell\u300d\u62e1\u5f35\u3092\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3057\u307e\u3059\u3002<\/p>\n<p><a href=\"https:\/\/marketplace.visualstudio.com\/items?itemName=haskell.haskell\"><a href=\"https:\/\/marketplace.visualstudio.com\/items?itemName=haskell.haskell\">https:\/\/marketplace.visualstudio.com\/items?itemName=haskell.haskell<\/a><\/a><\/p>\n<p>\u7ba1\u7406\u65b9\u6cd5\u306f\u300cAutomatically via GHCup\u300d\u3092\u9078\u629e\u3057\u307e\u3059\u3002<\/p>\n<h2 id=\"rtoc-5\" >AtCoder\u306b\u30b3\u30fc\u30c9\u3092\u63d0\u51fa\u3059\u308b<\/h2>\n<p>\u6700\u521d\u306b\u66f8\u304f\u30b3\u30fc\u30c9\u3068\u3057\u3066\u3001AtCoder\u306e\u7df4\u7fd2\u7528\u554f\u984c\u3092\u5229\u7528\u3057\u307e\u3059\u3002<\/p>\n<p>A - Welcome to AtCoder<br \/>\n<a href=\"https:\/\/atcoder.jp\/contests\/practice\/tasks\/practice_1\"><a href=\"https:\/\/atcoder.jp\/contests\/practice\/tasks\/practice_1\">https:\/\/atcoder.jp\/contests\/practice\/tasks\/practice_1<\/a><\/a><\/p>\n<p>Haskell\u306e\u30b3\u30fc\u30c9\u4f8b\u304c\u8a18\u8f09\u3055\u308c\u3066\u3044\u308b\u306e\u3067\u3001Visual Studio Code\u4e0a\u3067\u5199\u7d4c\u3057\u307e\u3059\u3002<\/p>\n<p><a href=\"https:\/\/atcoder.jp\/contests\/practice\/tasks\/practice_1#Haskell\"><a href=\"https:\/\/atcoder.jp\/contests\/practice\/tasks\/practice_1#Haskell\">https:\/\/atcoder.jp\/contests\/practice\/tasks\/practice_1#Haskell<\/a><\/a><\/p>\n<pre><code class=\"language-haskell\">import Control.Applicative\n\nmain :: IO ()\nmain = do\n    -- \u6574\u6570\u306e\u5165\u529b\n    a &lt;- readLn\n    -- \u30b9\u30da\u30fc\u30b9\u533a\u5207\u308a\u6574\u6570\u306e\u5165\u529b\n    [b, c] &lt;- map read . words &lt;$&gt; getLine\n    -- \u6587\u5b57\u5217\u306e\u5165\u529b\n    s &lt;- getLine\n    -- \u51fa\u529b\n    putStrLn $ show (a + b + c) ++ &quot; &quot; ++ s<\/code><\/pre>\n<p>\u524d\u8ff0\u306e\u8a2d\u5b9a\u304c\u3046\u307e\u304f\u3044\u3063\u3066\u3044\u308b\u304b\u3069\u3046\u304b\u3092\u78ba\u8a8d\u3059\u308b\u305f\u3081\u306b\u3001\u30b7\u30f3\u30bf\u30c3\u30af\u30b9\u30cf\u30a4\u30e9\u30a4\u30c8\u3055\u308c\u308b\u3053\u3068\u3092\u78ba\u8a8d\u3057\u307e\u3059\u3002<\/p>\n<p>\u30d5\u30a1\u30a4\u30eb\u3092\u4fdd\u5b58\u3057\u3001\u4ee5\u4e0b\u306e\u30b3\u30de\u30f3\u30c9\u3067\u30b3\u30fc\u30c9\u3092\u5b9f\u884c\u3057\u307e\u3059(hello.hs\u3068\u3044\u3046\u540d\u524d\u3067\u4fdd\u5b58\u3057\u305f\u5834\u5408)\u3002<\/p>\n<pre><code class=\"language-bash\">$ runghc hello.hs<\/code><\/pre>\n<p>\u6a19\u6e96\u5165\u529b\u3092\u53d7\u3051\u4ed8\u3051\u308b\u30d7\u30ed\u30b0\u30e9\u30e0\u306a\u306e\u3067\u3001\u30b5\u30f3\u30d7\u30eb\u5165\u529b\u3092\u30b3\u30d4\u30da\u3057\u307e\u3059\u3002<\/p>\n<pre><code class=\"language-plaintext\">1\n2 3\ntest<\/code><\/pre>\n<pre><code class=\"language-bash\">$ runghc hello.hs\n1\n2 3\ntest\n6 test<\/code><\/pre>\n<p>\u6700\u5f8c\u306e\u884c\u306b\u3001<code>6 test<\/code> \u304c\u51fa\u529b\u3055\u308c\u308c\u3070\u3001\u60f3\u5b9a\u3069\u304a\u308a\u306e\u51e6\u7406\u3067\u3059\u3002<\/p>\n<p>\u30d7\u30ed\u30b0\u30e9\u30e0\u304c\u6b63\u3057\u304f\u52d5\u4f5c\u3059\u308b\u3053\u3068\u3092\u78ba\u8a8d\u3057\u305f\u5f8c\u3001AtCoder\u306b\u63d0\u51fa\u3057\u307e\u3059\u3002\u66f8\u3044\u305f\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u30d5\u30a9\u30fc\u30e0\u306b\u30b3\u30d4\u30fc\uff06\u30da\u30fc\u30b9\u30c8\u3057\u3001\u8a00\u8a9e\u3068\u3057\u3066 Haskell (GHC 8.8.3) \u3092\u9078\u629e\u3057\u307e\u3059\u3002<\/p>\n<p><a href=\"https:\/\/atcoder.jp\/contests\/practice\/submit?taskScreenName=practice_1\"><a href=\"https:\/\/atcoder.jp\/contests\/practice\/submit?taskScreenName=practice_1\">https:\/\/atcoder.jp\/contests\/practice\/submit?taskScreenName=practice_1<\/a><\/a><\/p>\n<p><img decoding=\"async\" src=\"\/images\/2023\/02\/63f819f35d45b.png\" alt=\"file\" \/><\/p>\n<p>\u300c\u9078\u629e\u300d\u30dc\u30bf\u30f3\u3092\u62bc\u4e0b\u3057\u3066\u3001\u63d0\u51fa\u3057\u307e\u3059\u3002<\/p>\n<p>\u81ea\u5206\u306e\u63d0\u51fa\u30da\u30fc\u30b8\u306b\u79fb\u52d5\u3057\u3066\u3001\u5b9f\u884c\u7d50\u679c\u304c  <code>AC<\/code> \u3068\u306a\u308c\u3070\u3001OK\u3067\u3059\u3002<\/p>\n<p>\u4ee5\u4e0a\u3067\u3001Haskell\u3067AtCoder\u306b\u53c2\u52a0\u3059\u308b\u305f\u3081\u306e\u74b0\u5883\u69cb\u7bc9\u304c\u5b8c\u4e86\u3057\u307e\u3057\u305f\u3002<\/p>\n<h2 id=\"rtoc-6\" >\u53c2\u8003<\/h2>\n<ul>\n<li><a href=\"https:\/\/zenn.dev\/mod_poppo\/articles\/haskell-setup-2023\">https:\/\/zenn.dev\/mod_poppo\/articles\/haskell-setup-2023<\/a><\/li>\n<li><a href=\"https:\/\/blog.miz-ar.info\/2019\/05\/atcoder-with-haskell\/\">https:\/\/blog.miz-ar.info\/2019\/05\/atcoder-with-haskell\/<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>\u76ee\u6b21 \u306f\u3058\u3081\u306bGHCup\u306e\u30a4\u30f3\u30b9\u30c8\u30fc\u30ebGHCup\u30b3\u30de\u30f3\u30c9\u306e\u78ba\u8a8dVisual Studio Code\u306e\u8a2d\u5b9aAtCoder\u306b\u30b3\u30fc\u30c9\u3092\u63d0\u51fa\u3059\u308b\u53c2\u8003\u306f\u3058\u3081\u306b \u6700\u8fd1\u3001\u793e\u5185\u3067Haskell\u3092\u5b66\u3076\u71b1\u610f\u304c\u9ad8\u307e\u3063\u3066\u304a\u308a\u3001\u79c1\u3082\u7af6\u6280\u30d7\u30ed\u30b0\u30e9\u30df [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":4819,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jinr_url_youtube":"","_jinr_pip_youtube":false,"_jinr_time_youtube":"","_jinr_thumb_youtube":"","_jinr_media_youtube":"","_jinr_category_edit":false,"_jinr_category":"","_jinr_title_display":false,"_jinr_snsbutton_display":false,"_jinr_ads_display":false,"_jinr_thumbnail_display":false,"_jinr_profile_display":false,"_jinr_relatedpost_display":false,"_jinr_sidebar1col_display":false,"_jinr_sidebar2col_display":false,"_jinr_seotitle_display":"","_jinr_description_display":"","_jinr_keyword_display":"","_jinr_hastag_display":"","_jinr_canonical_display":"","_jinr_noindex_display":false,"_jinr_paidpost":false,"_jinr_paidpost_product_id":"","_jinr_headtag_article":""},"categories":[1],"tags":[],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/cms-mordpress.test.mmmcorp.co.jp\/wp-json\/wp\/v2\/posts\/4785"}],"collection":[{"href":"https:\/\/cms-mordpress.test.mmmcorp.co.jp\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cms-mordpress.test.mmmcorp.co.jp\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cms-mordpress.test.mmmcorp.co.jp\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/cms-mordpress.test.mmmcorp.co.jp\/wp-json\/wp\/v2\/comments?post=4785"}],"version-history":[{"count":0,"href":"https:\/\/cms-mordpress.test.mmmcorp.co.jp\/wp-json\/wp\/v2\/posts\/4785\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/cms-mordpress.test.mmmcorp.co.jp\/wp-json\/"}],"wp:attachment":[{"href":"https:\/\/cms-mordpress.test.mmmcorp.co.jp\/wp-json\/wp\/v2\/media?parent=4785"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cms-mordpress.test.mmmcorp.co.jp\/wp-json\/wp\/v2\/categories?post=4785"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cms-mordpress.test.mmmcorp.co.jp\/wp-json\/wp\/v2\/tags?post=4785"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}