「Haskell」の記事 - Crieit

Haskellを練習しようぜ(^o^)？＜その１ｏ０＞

2023-12-24T14:44:58+09:00

📖　Haskell を Ubuntu にインストールできねーの（＾〜＾）？

情報

📖　kifuwarabe-shogi-haskell

はじめに

「　↓　とほほ　を見ながら　ハスケルを自習しようぜ？」

📖　とほほのHaskell入門

「　じゃあ　コンソールで将棋盤を表示してみてくれだぜ」

🗒 view_shogiban.hs :

「　↑　あれっ、ハスケルで　日本語入力できないぜ？」

📖　ubuntu20.04.1 vscodeで日本語入力ができない

「　snap でインストールした VSCode は、日本語入力ができないらしいわよ」

「　アンインストールは　つらい、なにかアップデートする方法はないか？」

Japanese Language Pack for Visual Studio Code

「　↑　試しに拡張を入れてみようぜ？」

[Ctrl] + [Shift] + [P] で Configure Display Language で日本語へ。

「　コマンドを使って設定もして、VSCodeも再起動」

「　ダメだ、何も変わらん。
フロント・エンド・プロセッサーが反応してない」

📖　【新入生夏記事】Ubuntu の VSCode で日本語入力ができない問題

「　↑　Ubuntu Software や snap は、土台がダメみたいよ」

Visual Studio Code をアンインストール

sudo snap remove code

「　↑　Visual Studio Code をアンインストールするぜ」

Visual Studio を再インストール

📖　Download Visual Studio Code

「　↑　Ubuntu なんで、 .deb を選ぶぜ。デビアンという意味かな」

code_1.85.1-1702462158_amd64.deb

「　↑　フォルダーなのか、圧縮ファイルなのか、なにかダウンロードしたが」

sudo apt install code_1.85.1-1702462158_amd64.deb

「　↑　ターミナルを開いて実行」

muzudho@muzudho-MS-7B09:~/Downloads$ sudo apt install code_1.85.1-1702462158_amd64.deb
Reading package lists... Done
Building dependency tree... Done
Reading state information... Done
E: Unable to locate package code_1.85.1-1702462158_amd64.deb

「　↑　うーん？」

📖　Unable to install files with apt-get: "unable to locate package" [duplicate]

sudo apt-get update
sudo apt install code_1.85.1-1702462158_amd64.deb

「　↑　変わらんなあ」

sudo apt install ./code_1.85.1-1702462158_amd64.deb

「　↑　カレント・ディレクトリの指定を忘れていた。これでインストールが始まった」

code

「　↑　よし、振り出しに戻ったぜ」

「　うわっ、日本語版の GUI が出てきた、かっこ悪いから　英語版に戻そう」

[Ctrl] + [Shift] + [P] で Configure Display Language で英語へ。

「　よし、 Visual Studio Code は英語表示で、日本語入力できるようになったぜ」

将棋盤を表示しよう

🗒 view_shogiban.hs :

{-
    ビュー / 将棋盤
-}
main = putStrLn "+--+--+--+--+--+--+--+--+--+"

「　↑　さまざまなことがわからないので、将棋盤の上辺を表示したいぜ」

📖　Haskell in 5 steps

# コンパイル
ghc -o view_shogiban view_shogiban.hs

# 実行
./view_shogiban

Output:

+--+--+--+--+--+--+--+--+--+

「　↑　おー、表示されたぜ」

「　Haskell で複数行文字列って　どうやってコーディングすんの？」

📖 How can I write multiline strings in Haskell?

「　↑　ラインフィードと　デリミタでやるらしい」

{-
    ビュー / 将棋盤
-}
main = putStrLn "     9  8  7  6  5  4  3  2  1\n\
    \   +--+--+--+--+--+--+--+--+--+\n\
    \ 1 |  |  |  |  |  |  |  |  |  |\n\
    \   +--+--+--+--+--+--+--+--+--+\n\
    \ 2 |  |  |  |  |  |  |  |  |  |\n\
    \   +--+--+--+--+--+--+--+--+--+\n\
    \ 3 |  |  |  |  |  |  |  |  |  |\n\
    \   +--+--+--+--+--+--+--+--+--+\n\
    \ 4 |  |  |  |  |  |  |  |  |  |\n\
    \   +--+--+--+--+--+--+--+--+--+\n\
    \ 5 |  |  |  |  |  |  |  |  |  |\n\
    \   +--+--+--+--+--+--+--+--+--+\n\
    \ 6 |  |  |  |  |  |  |  |  |  |\n\
    \   +--+--+--+--+--+--+--+--+--+\n\
    \ 7 |  |  |  |  |  |  |  |  |  |\n\
    \   +--+--+--+--+--+--+--+--+--+\n\
    \ 8 |  |  |  |  |  |  |  |  |  |\n\
    \   +--+--+--+--+--+--+--+--+--+\n\
    \ 9 |  |  |  |  |  |  |  |  |  |\n\
    \   +--+--+--+--+--+--+--+--+--+\n"

Output:

muzudho@muzudho-MS-7B09:~/Documents/git_hub/haskell-practice-on-ubuntu$ ./view_shogiban
     9  8  7  6  5  4  3  2  1
   +--+--+--+--+--+--+--+--+--+
 1 |  |  |  |  |  |  |  |  |  |
   +--+--+--+--+--+--+--+--+--+
 2 |  |  |  |  |  |  |  |  |  |
   +--+--+--+--+--+--+--+--+--+
 3 |  |  |  |  |  |  |  |  |  |
   +--+--+--+--+--+--+--+--+--+
 4 |  |  |  |  |  |  |  |  |  |
   +--+--+--+--+--+--+--+--+--+
 5 |  |  |  |  |  |  |  |  |  |
   +--+--+--+--+--+--+--+--+--+
 6 |  |  |  |  |  |  |  |  |  |
   +--+--+--+--+--+--+--+--+--+
 7 |  |  |  |  |  |  |  |  |  |
   +--+--+--+--+--+--+--+--+--+
 8 |  |  |  |  |  |  |  |  |  |
   +--+--+--+--+--+--+--+--+--+
 9 |  |  |  |  |  |  |  |  |  |
   +--+--+--+--+--+--+--+--+--+

「　↑　おー、こういう感じか」

「　じゃー、ごっついの　もっさり　作っていきますか」

フォントの設定

「　日本語と　半角文字の横幅の　桁が揃わない。
VSCodeのフォントを　等幅フォントの mplus code にしたい。できるの？」

📖　VSCodeのフォントにMigu 1Mを使う

「　↑　フォントの設定は　できるみたいだが……」

「　じゃあ MPlus のフォントを Ubuntu へインストールできるかどうかか」

📖　M+Fonts
📖　M+Fonts / otf

「　↑　otf をダウンロードすればいいのかだぜ？」

「　Git Hub 上の Mplus1Code-Regular.otf リンクを　コンコン　クリックして進んでいったら　インストールまで行けた　便利だな」

「　VSCode のメインメニューから [File] - [Preferences] - [Settings]。
Font Family の先頭に 'M Plus 1 Code', を追加したけど、どうか？」

「　Visual Studio Code を全部閉じて再起動。
よしいけた」

将棋盤のレイアウトを考える

muzudho@muzudho-MS-7B09:~/Documents/git_hub/haskell-practice-on-ubuntu$ ./view_shogiban
                  飛    角    金    銀    桂    香    歩        [nnn move(s) / sente / 0 repeat(s)]
               +-----+-----+-----+-----+-----+-----+-----+
               |   2 |   2 |   4 |   4 |   4 |   4 |  18 |
               +-----+-----+-----+-----+-----+-----+-----+
     一    二    三    四    五    六    七    八    九
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 1 |[香> |     |[歩> |[歩> |[歩> |[歩> | <歩]|     | <香]|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 2 |[桂> |[角> |[歩> |     |     |     | <歩]| <飛]| <桂]|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 3 |[銀> |     |[歩> |     |     |     | <歩]|     | <銀]|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 4 |[金> |     |[歩> |     |     |     | <歩]|     | <金]|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 5 |[玉> |     |[歩> |     |     |     | <歩]|     | <玉]|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 6 |[金> |     |[歩> |     |     |     | <歩]|     | <金]|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 7 |[銀> |     |[歩> |     |     |     | <歩]|     | <銀]|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 8 |[桂> |[飛> |[歩> |     |     |     | <歩]| <角]| <桂]|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 9 |[香> |     |[歩> |     |     |     | <歩]|     | <香]|
   +-----+-----+-----+-----+-----+-----+-----+-----+----+
      歩    香    桂    銀    金    角    飛
   +-----+-----+-----+-----+-----+-----+-----+
   |  18 |   4 |   4 |   4 |   4 |   4 |   4 |
   +-----+-----+-----+-----+-----+-----+-----+

「　↑　フーム　どうすれば　見やすいかな？」

uzudho@muzudho-MS-7B09:~/Documents/git_hub/haskell-practice-on-ubuntu$ ./view_shogiban
                  飛    角    金    銀    桂    香    歩        [nnn move(s) / sente / 0 repeat(s)]
               +-----+-----+-----+-----+-----+-----+-----+
               |   2 |   2 |   4 |   4 |   4 |   4 |  18 |
               +-----+-----+-----+-----+-----+-----+-----+
     一    二    三    四    五    六    七    八    九
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 1 | 香> |     | 歩> |     |     |     | <歩 |     | <香 |
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 2 | 桂> | 角> | 歩> |     |     |     | <歩 | <飛 | <桂 |
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 3 | 銀> |     | 歩> |     |     |     | <歩 |     | <銀 |
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 4 | 金> |     | 歩> |     |     |     | <歩 |     | <金 |
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 5 | 玉> |     | 歩> |     |     |     | <歩 |     | <玉 |
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 6 | 金> |     | 歩> |     |     |     | <歩 |     | <金 |
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 7 | 銀> |     | 歩> |     |     |     | <歩 |     | <銀 |
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 8 | 桂> | 飛> | 歩> |     |     |     | <歩 | <角 | <桂 |
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 9 | 香> |     | 歩> |     |     |     | <歩 |     | <香 |
   +-----+-----+-----+-----+-----+-----+-----+-----+----+
      歩    香    桂    銀    金    角    飛
   +-----+-----+-----+-----+-----+-----+-----+
   |  18 |   4 |   4 |   4 |   4 |   4 |   4 |
   +-----+-----+-----+-----+-----+-----+-----+

muzudho@muzudho-MS-7B09:~/Documents/git_hub/haskell-practice-on-ubuntu$ ./view_shogiban
                  飛    角    金    銀    桂    香    歩        [nnn move(s) / sente / 0 repeat(s)]
               +-----+-----+-----+-----+-----+-----+-----+
               |   2 |   2 |   4 |   4 |   4 |   4 |  18 |
               +-----+-----+-----+-----+-----+-----+-----+
     一    二    三    四    五    六    七    八    九
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 1 |香＞ |     |歩＞ |     |     |     | ＜歩|     | ＜香|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 2 |桂＞ |角＞ |歩＞ |     |     |     | ＜歩| ＜飛| ＜桂|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 3 |銀＞ |     |歩＞ |     |     |     | ＜歩|     | ＜銀|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 4 |金＞ |     |歩＞ |     |     |     | ＜歩|     | ＜金|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 5 |玉＞ |     |歩＞ |     |     |     | ＜歩|     | ＜玉|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 6 |金＞ |     |歩＞ |     |     |     | ＜歩|     | ＜金|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 7 |銀＞ |     |歩＞ |     |     |     | ＜歩|     | ＜銀|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 8 |桂＞ |飛＞ |歩＞ |     |     |     | ＜歩| ＜角| ＜桂|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 9 |香＞ |     |歩＞ |     |     |     | ＜歩|     | ＜香|
   +-----+-----+-----+-----+-----+-----+-----+-----+----+
      歩    香    桂    銀    金    角    飛
   +-----+-----+-----+-----+-----+-----+-----+
   |  18 |   4 |   4 |   4 |   4 |   4 |   4 |
   +-----+-----+-----+-----+-----+-----+-----+

「　入り組んだときに　見やすいかどうかが　重要じゃないの？」

uzudho@muzudho-MS-7B09:~/Documents/git_hub/haskell-practice-on-ubuntu$ ./view_shogiban
 WCSC33 決勝6回戦 ▲ dlshogi with H vs ▽ やねうら王
                  飛    角    金    銀    桂    香    歩        [199 move(s) / ▲２一金 / n repeat(s)]
               +-----+-----+-----+-----+-----+-----+-----+
               |     |     |     |   1 |     |     |     |
               +-----+-----+-----+-----+-----+-----+-----+
     一    二    三    四    五    六    七    八    九
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 1 |玉＞ |角＞ | ＜香|     |角＞ |     |と＞ |     |     |
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 2 | ＜金|     |歩＞ |桂＞ |     | ＜金|     | ＜飛|     |
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 3 | ＜全|     |     |歩＞ |     |     |     |     |     |
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 4 |     |     |     |     |     | ＜歩| ＜金|     |     |
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 5 |     |     | ＜銀| ＜桂|歩＞ |     | ＜歩|     | ＜玉|
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 6 |     |     |     |歩＞ |     |竜＞ |     | ＜桂|     |
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 7 |     |     |     |     |     |     | ＜香| ＜歩|金＞ |
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 8 |     | ＜全|     |     |     |     |歩＞ | ＜銀|     |
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 9 |     |     |     |歩＞ |     | ＜歩|     |     | ＜香|
   +-----+-----+-----+-----+-----+-----+-----+-----+----+
      歩    香    桂    銀    金    角    飛
   +-----+-----+-----+-----+-----+-----+-----+
   |   7 |   1 |     |     |     |     |     |
   +-----+-----+-----+-----+-----+-----+-----+

「　↑　駒の漢字が　縦に揃ってないのも気になるな」

muzudho@muzudho-MS-7B09:~/Documents/git_hub/haskell-practice-on-ubuntu$ ./view_shogiban
 WCSC33 決勝6回戦 ▲ dlshogi with H vs ▽ やねうら王
                  飛    角    金    銀    桂    香    歩        [199 move(s) / ▲２一金 / n repeat(s)]
               +-----+-----+-----+-----+-----+-----+-----+
               |     |     |     |   1 |     |     |     |
               +-----+-----+-----+-----+-----+-----+-----+
     一    二    三    四    五    六    七    八    九
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 1 | 玉> : 角> : <香 :     : 角> :     : と> :     :     |
   + - - + - - + - - + - - + - - + - - + - - + - - + - - +
 2 | <金 :     : 歩> : 桂> :     : <金 :     : <飛 :     |
   + - - + - - + - - + - - + - - + - - + - - + - - + - - +
 3 | <全 :     :     : 歩> :     :     :     :     :     |
   + - - + - - + - - + - - + - - + - - + - - + - - + - - +
 4 |     :     :     :     :     : <歩 : <金 :     :     |
   + - - + - - + - - + - - + - - + - - + - - + - - + - - +
 5 |     :     : <銀 : <桂 : 歩> :     : <歩 :     : <玉 |
   + - - + - - + - - + - - + - - + - - + - - + - - + - - +
 6 |     :     :     : 歩> :     : 竜> :     : <桂 :     |
   + - - + - - + - - + - - + - - + - - + - - + - - + - - +
 7 |     :     :     :     :     :     : <香 : <歩 : 金> |
   + - - + - - + - - + - - + - - + - - + - - + - - + - - +
 8 |     : <全 :     :     :     :     : 歩> : <銀 :     |
   + - - + - - + - - + - - + - - + - - + - - + - - + - - +
 9 |     :     :     : 歩> :     : <歩 :     :     : <香 |
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
      歩    香    桂    銀    金    角    飛
   +-----+-----+-----+-----+-----+-----+-----+
   |   7 |   1 |     |     |     |     |     |
   +-----+-----+-----+-----+-----+-----+-----+
   ```

![ramen-tabero-futsu2.png](https://crieit.now.sh/upload_images/d27ea8dcfad541918d9094b9aed83e7d61daf8532bbbe.png)  
「　↑　盤の方を点線にしてみたり」  

```plaintext
muzudho@muzudho-MS-7B09:~/Documents/git_hub/haskell-practice-on-ubuntu$ ./view_shogiban
 WCSC33 決勝6回戦 ▲ dlshogi with H vs ▽ やねうら王
                  飛    角    金    銀    桂    香    歩        [199 move(s) / ▲２一金 / n repeat(s)]
               +-----+-----+-----+-----+-----+-----+-----+
               |     |     |     |   1 |     |     |     |
               +-----+-----+-----+-----+-----+-----+-----+
     一    二    三    四    五    六    七    八    九
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
 1 | 玉> ･ 角> ･  ･     ･ と> ･     ･     |
   +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +
 2 |  ･ 桂> ･     ･ 
   +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +
 3 |  ･     ･     ･     ･     ･     |
   +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +
 4 |     ･     ･     ･     ･     ･ 
   +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +
 5 |     ･     ･ 
   +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +
 6 |     ･     ･     ･ 歩> ･     ･ 竜> ･     ･ 
   +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +
 7 |     ･     ･     ･     ･     ･     ･ 
   +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +
 8 |     ･  ･ 
   +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +  ･  +
 9 |     ･     ･     ･ 歩> ･     ･ 
   +-----+-----+-----+-----+-----+-----+-----+-----+-----+
      歩    香    桂    銀    金    角    飛
   +-----+-----+-----+-----+-----+-----+-----+
   |   7 |   1 |     |     |     |     |     |
   +-----+-----+-----+-----+-----+-----+-----+
   ```

![ramen-tabero-futsu2.png](https://crieit.now.sh/upload_images/d27ea8dcfad541918d9094b9aed83e7d61daf8532bbbe.png)  
「　↑　半角の中点もあるが」  

![kifuwarabe-futsu.png](https://crieit.now.sh/upload_images/beaf94b260ae2602ca8cf7f5bbc769c261daf8686dbda.png)  
「　将棋は罫線が多すぎでは？　囲碁みたいに　交点にしたらどうだぜ？」  

```plaintext
muzudho@muzudho-MS-7B09:~/Documents/git_hub/haskell-practice-on-ubuntu$ ./view_shogiban
 WCSC33 決勝6回戦 ▲ dlshogi with H vs ▽ やねうら王
               飛   角   金   銀   桂   香   歩        [199 move(s) / ▲２一金 / n repeat(s)]
             +----+----+----+----+----+----+----+
             |    |    |    | １ |    |    |    |
             +----+----+----+----+----+----+----+
     一   二   三   四   五   六   七   八   九
   +----+----+----+----+----+----+----+----+----+
 1 | 玉>  角> <香   ・   角>  ・   と>  ・   ・ |
   +                                            +
 2 |<金   ・   歩>  桂>  ・   <金  ・  <飛   ・ |
   +                                            +
 3 |<全   ・   ・   歩>  ・   ・   ・   ・   ・ |
   +                                            +
 4 | ・   ・   ・   ・   ・  <歩  <金   ・   ・ |
   +                                            +
 5 | ・   ・  <銀  <桂   歩>  ・  <歩   ・  <玉 |
   +                                            +
 6 | ・   ・   ・   歩>  ・   竜>  ・  <桂   ・ |
   +                                            +
 7 | ・   ・   ・   ・   ・   ・  <香  <歩   金>|
   +                                            +
 8 | ・  <全   ・   ・   ・   ・   歩> <銀   ・ |
   +                                            +
 9 | ・   ・   ・   歩>  ・  <歩   ・   ・  <香 |
   +----+----+----+----+----+----+----+----+----+
     歩   香   桂   銀   金   角   飛
   +----+----+----+----+----+----+----+
   | ７ | １ |    |    |    |    |    |
   +----+----+----+----+----+----+----+

「　↑　視認性が悪いのは　どこからくるのかなあ」

muzudho@muzudho-MS-7B09:~/Documents/git_hub/haskell-practice-on-ubuntu$ ./view_shogiban
 WCSC33 決勝6回戦 ▲ dlshogi with H vs ▽ やねうら王
                    飛     角     金     銀     桂     香     歩        [199 move(s) / ▲２一金 / n repeat(s)]
                 +------+------+------+------+------+------+------+
                 |      |      |      |  １  |      |      |      |
                 +------+------+------+------+------+------+------+
      一     二     三     四     五     六     七     八     九
   +------+------+------+------+------+------+------+------+------+
 1 |  玉  |  角  |<<香<<|      |  角  |      |  と  |      |      |
   +------+------+------+------+------+------+------+------+------+
 2 |<<金<<|      |  歩  |  桂  |      |<<金<<|      |<<飛<<|      |
   +------+------+------+------+------+------+------+------+------+
 3 |<<全<<|      |      |  歩  |      |      |      |      |      |
   +------+------+------+------+------+------+------+------+------+
 4 |      |      |      |      |      |<<歩<<|<<金<<|      |      |
   +------+------+------+------+------+------+------+------+------+
 5 |      |      |<<銀<<|<<桂<<|  歩  |      |<<歩<<|      |<<玉<<|
   +------+------+------+------+------+------+------+------+------+
 6 |      |      |      |  歩  |      |  竜  |      |<<桂<<|      |
   +------+------+------+------+------+------+------+------+------+
 7 |      |      |      |      |      |<<香<<|<<歩<<|  金  |      |
   +------+------+------+------+------+------+------+------+------+
 8 |      |<<全<<|      |      |      |  歩  |<<銀<<|      |      |
   +------+------+------+------+------+------+------+------+------+
 9 |      |      |      |  歩  |      |<<歩<<|      |      |<<香<<|
   +------+------+------+------+------+------+------+------+------+
      歩     香     桂     銀     金     角     飛
   +------+------+------+------+------+------+------+
   |  ７  |  １  |      |      |      |      |      |
   +------+------+------+------+------+------+------+
   ```

![ramen-tabero-futsu2.png](https://crieit.now.sh/upload_images/d27ea8dcfad541918d9094b9aed83e7d61daf8532bbbe.png)  
「　↑　先手の駒の表示を　うるさく　してみたらどうだぜ？」  

![ohkina-hiyoko-futsu2.png](https://crieit.now.sh/upload_images/96fb09724c3ce40ee0861a0fd1da563d61daf8a09d9bc.png)  
「　もっと濃い網掛けはないの？」  

```plaintext
muzudho@muzudho-MS-7B09:~/Documents/git_hub/haskell-practice-on-ubuntu$ ./view_shogiban
 WCSC33 決勝6回戦 ▲ dlshogi with H vs ▽ やねうら王
                    飛     角     金     銀     桂     香     歩        [199 move(s) / ▲２一金 / n repeat(s)]
                 +------+------+------+------+------+------+------+
                 |      |      |      |  １  |      |      |      |
                 +------+------+------+------+------+------+------+
      一     二     三     四     五     六     七     八     九
   +------+------+------+------+------+------+------+------+------+
 1 |  玉 >|  角 >|  香  |      |  角 >|      |  と >|      |      |
   +------+------+------+------+------+------+------+------+------+
 2 |  金  |      |  歩 >|  桂 >|      |  金  |      |  飛  |      |
   +------+------+------+------+------+------+------+------+------+
 3 |  全  |      |      |  歩 >|      |      |      |      |      |
   +------+------+------+------+------+------+------+------+------+
 4 |      |      |      |      |      |  歩  |  金  |      |      |
   +------+------+------+------+------+------+------+------+------+
 5 |      |      |  銀  |  桂  |  歩 >|      |  歩  |      |  玉  |
   +------+------+------+------+------+------+------+------+------+
 6 |      |      |      |  歩 >|      |  竜 >|      |  桂  |      |
   +------+------+------+------+------+------+------+------+------+
 7 |      |      |      |      |      |      |  香  |  歩  |  金 >|
   +------+------+------+------+------+------+------+------+------+
 8 |      |  全  |      |      |      |  歩 >|  銀  |      |      |
   +------+------+------+------+------+------+------+------+------+
 9 |      |      |      |  歩 >|      |  歩  |      |      |  香  |
   +------+------+------+------+------+------+------+------+------+
      歩     香     桂     銀     金     角     飛
   +------+------+------+------+------+------+------+
   |  ７  |  １  |      |      |      |      |      |
   +------+------+------+------+------+------+------+

「　↑　いろいろ　やってみたが　視認性は　悪かったぜ」

「　だったら　縦でいいのでは？」

muzudho@muzudho-MS-7B09:~/Documents/git_hub/haskell-practice-on-ubuntu$ ./view_shogiban
 WCSC33 決勝6回戦 ▲ dlshogi with H vs ▽ やねうら王
              ９     ８     ７     ６     ５     ４     ３     ２     １                      [199 move(s) / ▲２一金 / n repeat(s)]
   +----+  +------+------+------+------+------+------+------+------+------+
歩 | ７ |  |      |      |      |      |      |      |  圭  |  金  | v玉  | 一                ▲玉  59                 ▲香  99  77  13 ___
   +----+  +------+------+------+------+------+------+------+------+------+                   ▽玉  11                 ▽香 *__ ___ ___ ___
香 | １ |  |      |  全  |      |      |      |      |      |      | v角  | 二
   +----+  +------+------+------+------+------+------+------+------+------+     +----+        ▲飛  28 ___             ▲歩 ___ ___ ___
桂 |    |  |      |      |      |      |  銀  |      |      | v歩  |  香  | 三  |    | 飛     ▽飛 +66 ___                 _46 _57 ___
   +----+  +------+------+------+------+------+------+------+------+------+     +----+                                    _78 _87 _96
銀 |    |  | v歩  |      |      | v歩  |  桂  |      | v歩  | v桂  |      | 四  |    | 角     ▲角 ___ ___                 ___ ___ ___ ___ ___ ___
   +----+  +------+------+------+------+------+------+------+------+------+     +----+        ▽角  12  15                 ___ ___ ___ ___ ___ ___
金 |    |  |      |      |      |      | v歩  |      |      |      | v角  | 五  |    | 金                                 ___ ___ ___ ___ ___ ___
   +----+  +------+------+------+------+------+------+------+------+------+     +----+        ▲金  21  26  47  79
角 |    |  |  歩  |      |      | v竜  |      |  歩  |      |  金  |      | 六  | １ | 銀     ▽金 ___ ___ ___ ___     ▽歩 +17 _23 _34
   +----+  +------+------+------+------+------+------+------+------+------+     +----+                                    ___ _55 _64
飛 |    |  |      |  歩  |  香  |      |  歩  |  金  |      |      | vと  | 七  |    | 桂     ▲銀 +82  53  88 *__         ___ ___ _94
   +----+  +------+------+------+------+------+------+------+------+------+     +----+        ▽銀 ___ ___ ___ ___         *__ *__ *__ *__ *__ *__
           |      |  銀  |  歩  |  桂  |      |      |      |  飛  |      | 八  |    | 香                                 *__ ___ ___ ___ ___ ___
           +------+------+------+------+------+------+------+------+------+     +----+        ▲桂 +31  54  68 ___         ___ ___ ___ ___ ___ ___
           |  香  |      |  金  |      |  玉  |      |      |      |      | 九  |    | 歩     ▽桂 +24 ___ ___ ___
           +------+------+------+------+------+------+------+------+------+     +----+

「　↑　位置情報も表示するなら　こうかな」

「　レイアウトはいったん　これで確定して、モデルを作りましょう」

プロジェクト作成

「　じゃあ　プロジェクト・フォルダー作ったほうがいいのか」

mkdir shogi-project
cd shogi-project
cabal init --interactive

        📁 shogi-project
        ├── 📁 app
        │   └── 🗒 Main.hs
        ├── 📁 src
        │   └── 🗒 MyLib.hs
        ├── 🗒 CHANGELOG.md
        └── 🗒 shogi-project.cabal

「　↑　このあと　どうすんのか？」

「　Main.hs に何か書いてないかだぜ？」

🗒 app/Main.hs :

module Main where

import qualified MyLib (someFunc)

main :: IO ()
main = do
  putStrLn "Hello, Haskell!"
  MyLib.someFunc

「　↑　おー、 do-notation だ。
最後の MyLib.someFunc が分からんが」

🗒 src/MyLib.hs :

module MyLib (someFunc) where

someFunc :: IO ()
someFunc = putStrLn "someFunc"

「　someFunc と表示するだけのライブラリーでは？」

「　実行してみましょう！」

cabal build
cabal run

Output:

Up to date
Hello, Haskell!
someFunc

「　↑　全くそのとおりな結果だぜ」

インプットどうする？

📖　Haskellで競技プログラミング IO編
📖　Haskellで競技プログラミング

「　↑　競技プログラマが　詳しかったりするしな。読んだろ」

📖　State of string interpolation in Haskell?
📖　Haskell: 文字列の連結、繰り返し、置き換え
📖　How to concat two (IO) Strings in Haskell?

「　↑　競技プログラマも　よくわかってないようだ　もっと調べよう」

module Main where

import qualified MyLib (someFunc)

main :: IO ()
main = do
  y 
  putStrLn $ "入力は" ++ y -- 文字列連結するときは頭に $ を付ける
  return ()

「　↑　自分が何をやっているか分からないが　これで動く」

module Main where

import qualified MyLib (someFunc)

main :: IO ()
main = do
  line 
  -- print はダブルクォーテーションがついてしまう。そもそもデバッグ用らしい
  {-
  if line == "usi"
    then putStrLn "usiok"
    else putStrLn "panic"
  -}

  case line of
    "usi" -> putStrLn "usiok"
    "isready" -> putStrLn "readyok"
    "usinewgame" -> putStrLn ""
    _ -> putStrLn "resign"

「　↑　ケース文も　こんな感じだが、ループは　どうやって作る？」

module Main where

import qualified MyLib (someFunc)

main :: IO ()
main = do
  line 

  case line of
    "usi" -> putStrLn "usiok"
    "isready" -> putStrLn "readyok"
    "usinewgame" -> putStrLn ""
    'p' : 'o' : 's' : 'i' : 't' : 'i' : 'o' : 'n' : ' ' : _ -> putStrLn ""
    'g' : 'o' : ' ' : _ -> putStrLn "resign"
    _ -> putStrLn ""

usi :: IO ()
usi = do
  return ()

「　↑　ハスケルの Startswith 狂ってんな」

プロジェクトの実行ファイル、どうやって作る？

「　GHC では　実行ファイル作れたが、
プロジェクトの場合は　どうやる？」

muzudho@muzudho-MS-7B09:~/Documents/git_hub/haskell-practice-on-ubuntu/shogi-project/dist-newstyle/build/x86_64-linux/ghc-9.4.7/shogi-project-0.1.0.0/x/shogi-project/build/shogi-project$ ./shogi-project

「　↑　すごい長いファイルパスの下に　実行ファイルがあった」

将棋所がエンジン読み込まねー

muzudho@muzudho-MS-7B09:~/Documents/Shogidokoro/Engine$ ./Lesserkai.exe
Cannot open assembly './Lesserkai.exe': File does not contain a valid CIL image.

「　↑　れさかい　は C# で書いてんのか？ .NET Core をインストールしてみるか」

📖　"mono app.exe" gives error "File does not contain a valid CIL image."

📖　Download .NET For Linux

将棋所がダメなら Shogi GUI だ

📖　Shogi GUI

「　さらば　将棋所。 Shogi GUI へ」

「　ダメだ　Shogi GUI は文字化けしてる」

(📅 2023-12-25 ⏰ 18:59) 将棋所の再設定

📖 Ubuntu Linuxで動作させる場合の注意点

「　↑　設定の見直し」

sudo apt install mono-complete

Output:

Reading package lists... Done
Building dependency tree... Done
Reading state information... Done
Some packages could not be installed. This may mean that you have
requested an impossible situation or if you are using the unstable
distribution that some required packages have not yet been created
or been moved out of Incoming.
The following information may help to resolve the situation:

The following packages have unmet dependencies:
 mono-complete : Depends: mono-runtime (= 6.12.0.200-0xamarin2+ubuntu1604b1) but 6.12.0.200-0xamarin2+ubuntu2004b1 is to be installed
                 Depends: mono-runtime-sgen (= 6.12.0.200-0xamarin2+ubuntu1604b1) but 6.12.0.200-0xamarin2+ubuntu2004b1 is to be installed
                 Depends: mono-llvm-support (= 6.12.0.200-0xamarin2+ubuntu1604b1) but 6.12.0.200-0xamarin2+ubuntu2004b1 is to be installed
                 Depends: libmono-2.0-1 (= 6.12.0.200-0xamarin2+ubuntu1604b1) but it is not going to be installed
                 Depends: mono-utils (= 6.12.0.200-0xamarin2+ubuntu1604b1) but it is not going to be installed
                 Depends: mono-devel (= 6.12.0.200-0xamarin2+ubuntu1604b1) but 6.12.0.200-0xamarin2+ubuntu2004b1 is to be installed
                 Depends: mono-mcs (= 6.12.0.200-0xamarin2+ubuntu1604b1) but 6.12.0.200-0xamarin2+ubuntu2004b1 is to be installed
                 Depends: mono-roslyn (= 6.12.0.200-0xamarin2+ubuntu1604b1) but 6.12.0.200-0xamarin2+ubuntu2004b1 is to be installed
                 Depends: mono-csharp-shell (= 6.12.0.200-0xamarin2+ubuntu1604b1) but 6.12.0.200-0xamarin2+ubuntu2004b1 is to be installed
                 Depends: mono-4.0-gac (= 6.12.0.200-0xamarin2+ubuntu1604b1) but 6.12.0.200-0xamarin2+ubuntu2004b1 is to be installed
                 Depends: libmono-cil-dev (= 6.12.0.200-0xamarin2+ubuntu1604b1) but 6.12.0.200-0xamarin2+ubuntu2004b1 is to be installed
                 Depends: ca-certificates-mono (= 6.12.0.200-0xamarin2+ubuntu1604b1) but 6.12.0.200-0xamarin2+ubuntu2004b1 is to be installed
E: Unable to correct problems, you have held broken packages.

sudo apt remove mono-complete

Output:

Reading package lists... Done
Building dependency tree... Done
Reading state information... Done
Package 'mono-complete' is not installed, so not removed
0 upgraded, 0 newly installed, 0 to remove and 4 not upgraded.

muzudho@muzudho-MS-7B09:~$ sudo apt remove mono
Reading package lists... Done
Building dependency tree... Done
Reading state information... Done
E: Unable to locate package mono

📖　How to Completely remove mono?

sudo apt remove --purge --auto-remove mono-runtime

sudo apt remove mono-complete

Output:

Reading package lists... Done
Building dependency tree... Done
Reading state information... Done
Package 'mono-complete' is not installed, so not removed
0 upgraded, 0 newly installed, 0 to remove and 4 not upgraded.

muzudho@muzudho-MS-7B09:~/Documents/Shogidokoro$ mono Shogidokoro.exe
Command 'mono' not found, but can be installed with:
sudo apt install mono-runtime

muzudho@muzudho-MS-7B09:~$ sudo apt install mono-complete
Reading package lists... Done
Building dependency tree... Done
Reading state information... Done
Some packages could not be installed. This may mean that you have
requested an impossible situation or if you are using the unstable
distribution that some required packages have not yet been created
or been moved out of Incoming.
The following information may help to resolve the situation:

The following packages have unmet dependencies:
 libgdiplus : Depends: libpng12-0 (>= 1.2.13-4) but it is not installable
E: Unable to correct problems, you have held broken packages.

libgdiplus : Depends: libpng12-0 (>= 1.2.13-4) but it is not installable

「　↑　なんか　足りてネーの？」

📖 moon / Downloads

sudo apt install ca-certificates gnupg
sudo gpg --homedir /tmp --no-default-keyring --keyring /usr/share/keyrings/mono-official-archive-keyring.gpg --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
echo "deb [signed-by=/usr/share/keyrings/mono-official-archive-keyring.gpg] https://download.mono-project.com/repo/ubuntu stable-focal main" | sudo tee /etc/apt/sources.list.d/mono-official-stable.list
sudo apt update

sudo apt install mono-devel

「　↑　mono はインストールできたが」

sudo apt install mono-complete

「　↑　今度はエラーは無かった」

muzudho@muzudho-MS-7B09:~/Documents/Shogidokoro$ mono Shogidokoro.exe
Gtk-Message: 19:50:18.028: Failed to load module "canberra-gtk-module"

「　↑　今度は mono コマンドで将棋所が起動した」

sudo apt install 'fonts-takao-*'

「　↑　takao フォントを入れる」

export TERM=xterm

「　↑　将棋エンジンを読み込む前に　この設定をしておくといいらしいが、効果なし」

📖　【Jetson_nano】将棋所で将棋AIで遊ぶ♬

export TERM=xterm
mono Shogidokoro.exe

Output:

Gtk-Message: 19:57:43.757: Failed to load module "canberra-gtk-module"

📖　Failed to load module “canberra-gtk-module” .... but already installed

sudo apt install libcanberra-gtk-module libcanberra-gtk3-module

export TERM=xterm
mono Shogidokoro.exe

「　↑　これでエラーなく将棋どころが起動した」

「　れさかい　も　きふわらべも、動かない」

ハスケルが "Up to date" とエコーするのを止めさせられないか？

muzudho@muzudho-MS-7B09:~/Documents/git_hub/haskell-practice-on-ubuntu/shogi-project$ cabal run
Up to date
usi
id name Kifuwarakell
id author Muzudho
usiok
quit

「　↑　ハスケルが "Up to date" とエコーするのを止めさせられないか？」

「　run するから Up to date と鳴くんじゃないか？」

muzudho@muzudho-MS-7B09:~/Documents/git_hub/haskell-practice-on-ubuntu/shogi-project/dist-newstyle/build/x86_64-linux/ghc-9.4.7/shogi-project-0.1.0.0/x/shogi-project/build/shogi-project$ ./shogi-project
usi
id name Kifuwarakell
id author Muzudho
usiok
quit

「　↑　確かに」

「　将棋所が頭に ./ を付けてコマンドを打鍵しますかね？」

📖　Cabal Doesn't Build Executable

「　↑　カバルは実行ファイルを作ってくれないようなので、スタックを調べるか」

📖　How to compile an executable from Haskell Stack build?

「　↑　スタックも run しないと　動かんらしい」

1ファイルで作成して GHC でコンパイルしたらどうか？

# コンパイル
ghc -o kifuwarakell.exe kifuwarakell.hs

# 実行
./kifuwarakell.exe

「　↑　頭に ./ が付いたら、将棋所は読み込めないのでは？」

「　じゃあ　パスを通せだぜ」

「　Ubuntu で、すでにパスが通っているディレクトリーはどこだぜ？」

echo $PATH

「　↑　コマンド打ちゃいいのよ」

Output:

/home/muzudho/.cabal/bin:/home/muzudho/.ghcup/bin:/usr/local/cuda/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin:/snap/bin

「　/usr/local/games とかどうか？」

「　将棋はゲームだしな」

「　権限無いのか　GUI　でファイル移動できね」

cd ~
bkdir bin

「　↑　ここに kifuwarakell.exe を置く」

muzudho@muzudho-MS-7B09:~/bin$ pwd
/home/muzudho/bin

export PATH="$PATH:/home/muzudho/bin"
echo $PATH

Output:

/home/muzudho/.cabal/bin:/home/muzudho/.ghcup/bin:/usr/local/cuda/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin:/snap/bin:/home/muzudho/bin

「　↑　これでパスは通した」

muzudho@muzudho-MS-7B09:~/bin$ kifuwarakell.exe
usi
id name Kifuwarakell
id author Muzudho
usiok
quit

「　↑　Up to date も出ないし、 ./ も要らないな」

「　それでも　将棋どころは　きふわらべ　をエンジン登録しない」

「　将棋所が Ubuntu に対応してないんじゃないの？」

「　それはそう」

export PATH="$PATH:/home/muzudho/bin"
export TERM=xterm
mono Shogidokoro.exe

「　↑　どうやっても　ダメらしい。　将棋所は諦めて　サーバー・プログラムを書こう」

ハスケルで通信プログラムは書けるの？

「　ハスケルで通信プログラムは書けるの？」

「　何も分からない。　間に合わなかったら　去年のきふわらべで　出ればいいだろ」

「　ハスケルに時間　取られてるの　もったいない…… C# でいいんじゃないのか？」

「　エコー・サーバーのサンプル・プログラム無い？」

📖　Implement a chat server

「　↑　チャット・サーバーなら　すぐ見つかったけど」

「　じゃあ　それを真似よう。記事を変えようぜ？」

Haskell でコンピューター将棋を作ろうぜ(^o^)？

2023-12-23T17:43:53+09:00

📖　Haskell を Ubuntu にインストールできねーの（＾〜＾）？

情報

📖　kifuwarabe-shogi-haskell

はじめに

「　↓　コンピューター将棋では、Haskell を使ったのは、ながとダイアリーチームの Haskell将棋というのがある」

📖　Haskell将棋

「　ホームページが　リンク切れを起こしている」

「　オープンソースにして　どこか管理団体が維持しないと　滅びるのよ」

Step 1.0

「　初手投了する将棋エンジンを作ろうぜ？」

「　↓　リポジトリは作っておいたぜ」

📖　kifuwarabe-shogi-haskell

gh repo clone muzudho/kifuwarabe-shogi-haskell

「　↑　このコマンド　どうやって使うんだっけ？」

📂 Home/Documents/git_hub

「　↑　とりあえず　ローカルの置き場を決めましょう」

cd ~/Documents/git_hub

「　↑　ターミナルで　そこへ移動」

gh repo clone muzudho/kifuwarabe-shogi-haskell

「　↑　git hub のコマンドは前回インストール済みなので、そのままコマンドを打鍵、
おっ、なにかクローンされた」

code

「　↑　あとは　Visual Studio Code を使おう」

muzudho@muzudho-MS-7B09:~/Documents/git_hub/kifuwarabe-shogi-haskell$ git commit -a
On branch main
Your branch is up to date with 'origin/main'.

Untracked files:
  (use "git add ..." to include in what will be committed)
    docs/

nothing added to commit but untracked files present (use "git add" to track)

「　↑　あれ？　git commit -a　コマンドが効かね？」

「　docs フォルダーを追加したからじゃないか？」

git add docs
git commit -a
# ここでメッセージを保存

git push

「　↑　おっ、いけた」

Haskell を Ubuntu にインストールできねーの（＾〜＾）？

2023-11-28T21:56:53+09:00

情報

📖　haskell-practice-on-ubuntu

はじめに

「　Haskel を Ubuntu にインストールできねーの？」

「　何度も失敗してるよな」

「　また　イチからトライしましょう」

(📅2023-11-28 tue) Git Hub の使い方わかんねー（＾〜＾）

「　Windows と Ubuntu で Git Hub が違う」

「　CLaunch の Ubuntu 版は無いの？」

「　Visual Studio Code の Ubuntu 版は無いの？」

「　↓　うーん、そのうち　願いが叶えられそうなのは　これかな？」

Visual Studio Code をインストールしようぜ（＾〜＾）？

UbuntuにVSCodeをインストールする3つの方法

Input:

sudo snap install --classic code

Output:

code 1a5daa3a from Visual Studio Code (vscode✓) installed

「　↑　インストールされたらしいけど、どうやって起動する？」

「　code って打ちゃあ　いいんじゃないの？」

Input:

code

「　↑　うおっ、CUI から GUI が出てきた　メモ帳みたいだ」

「　コマンド・プロンプトと　似たようなもんなんじゃないか？」

Git Hub にリポジトリを作ろうぜ（＾〜＾）？

「　↓　Web ブラウザーで　Git Hub を開いて　リポジトリーを作っておいたぜ」

📖　haskell-practice-on-ubuntu

Ubuntu にローカル・リポジトリを作ろうぜ（＾〜＾）？

「　Ubuntu のローカルって、どこよ？」

「　ユーザーのホームになんかないか？」

Input:

cd ~
ll

「　いっぱいあるが、ユーザーのホームって　どこよ？」

cd Documents
ll

「　GUI で見ると　Home/Documents　というところに　いろいろ置くといいんじゃない？」

「　じゃあそこで」

mkdir git_hub
cd git_hub

mkdir example1
cd example1

git init

「　おっ、　Home/Documents/git_hub/example1 フォルダーの中に .git フォルダーが作られたぜ」

「　ローカル・リポジトリを　新規作成するのではなくて、
Git Hub のリポジトリを　クローンしたかったのでは？」

「　あっ、そうか……」

コミットとプッシュの練習をしようぜ（＾〜＾）？

「　Git Hub へ　ファイルをアップロードする練習をしなさいよ？」

「　Home/Documents/git_hub/haskell-practice-on-ubuntu へ、フォルダーやファイルを追加して」

Input:

cd haskell-practice-on-ubuntu

git add Docs
git commit

「　なんか　コメントを入れろと出てきたが　無視したった」

Input:

git push origin

「　ユーザー名と　パスワードを入れろと　出てきたな、忘れたな」

「　思い出せだぜ！」

「　ダメだ　認証に失敗する」

「　↓　パスワード入力による認証は　削除されたそうよ」

HTTPS URL を使用したクローン作成

「　↑　文章を読んだだけで　難しそうだ」

Git Hub CLI をインストールしてみようぜ（＾〜＾）？

「　↓　なんだか分からないが　Git Hub CLI　をインストールしてみよう」

About GitHub CLI

「　Ubuntu って、 Debian ？」

「　Ubuntu は Debian ねえ」

Installing gh on Linux and BSD

Input:

type -p curl >/dev/null || (sudo apt update && sudo apt install curl -y)
curl -fsSL https://cli.github.com/packages/githubcli-archive-keyring.gpg | sudo dd of=/usr/share/keyrings/githubcli-archive-keyring.gpg \
&& sudo chmod go+r /usr/share/keyrings/githubcli-archive-keyring.gpg \
&& echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" | sudo tee /etc/apt/sources.list.d/github-cli.list > /dev/null \
&& sudo apt update \
&& sudo apt install gh -y

Input:

sudo apt update

Input:

sudo apt install gh

「　手順は　踏んだぜ」

「　gh をインストールしたところで　push　できないぜ」

gh auth login

「　↑　認証トークンを貼れ、とか出てくるが、なんのことだか」

「　逆だ、コマンドラインからウェブ・ブラウザを開いて　こっちから　認証コードを打ち込みに行くんだ。認証できた」

Input:

git push

Output:

Everything up-to-date

「　↑　別に何も起こってない」

「　git commit 、 nano エディターの使い方が分からんな。コメント入れて保存して」

「　git push 、これでどうか？」

(📅 2023-12-20 ⏰ 19:18) まだ Haskell をインストールできていない

「　長いなあ」

📖　VS Code Haskell Extension

「　↑　Visual Studio Code に Haskell の拡張があるらしいんで、それを探してみるか」

📖　GHCup

「　↑　さらに GHCup の説明を読めとあるぜ」

curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh

「　↑　さらに　コマンドを叩けということらしい」

「　↓　イエスと答え続けていくと　コマンドを打てと出てきた」

System requirements 
  Please ensure the following distro packages are installed before continuing (you can exit ghcup and return at any time): build-essential curl libffi-dev libffi8ubuntu1 libgmp-dev libgmp10 libncurses-dev libncurses5 libtinfo5

「　↑　エンターキーを押したら処理が進んでるぜ」

===============================================================================

OK! /home/muzudho/.bashrc has been modified. Restart your terminal for the changes to take effect,
or type "source /home/muzudho/.ghcup/env" to apply them in your current terminal session.

===============================================================================

All done!

To start a simple repl, run:
  ghci

To start a new haskell project in the current directory, run:
  cabal init --interactive

To install other GHC versions and tools, run:
  ghcup tui

If you are new to Haskell, check out https://www.haskell.org/ghcup/steps/

「　↑　どうなった？」

📖　https://www.haskell.org/ghcup/steps/

「　↑　URL を開いたらいいんじゃない？」

ghc --version
Command 'ghc' not found, but can be installed with:
sudo apt install ghc

ghci --version
Command 'ghci' not found, but can be installed with:
sudo apt install ghc

ghci
Command 'ghci' not found, but can be installed with:
sudo apt install ghc

sudo apt install ghc

「　↑　GHC がまだインストールされてなかった？」

ghc --version
The Glorious Glasgow Haskell Compilation System, version 8.8.4

「　↑　このハスケルが新しいか、ネットで調べるか」

📖　https://wiki.haskell.org/Haskell

「　↑　9.4.8 にアップデートするには　どうすればいい？」

curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh

「　↑　分からんから　もう１回コマンドを叩いて　アペンドする」

ghci
GHCi, version 8.8.4: https://www.haskell.org/ghc/  :? for help
Prelude>

「　↑　ダメだ　古いやつが入ってしまう」

📖　https://www.haskell.org/ghc/blog/20231009-ghc-9.8.1-released.html

「　↑　こいつを　どうやってインストールするか　調べてみるか」

「　分からん」

ghci
GHCi, version 8.8.4: https://www.haskell.org/ghc/  :? for help
Prelude> main = putStrLn "Hello, Haskell!"
Prelude> 
Prelude> main
Hello, Haskell!
Prelude>

「　↑　自分が何をやっているのか分からん」

📖　https://www.haskell.org/ghcup/steps/

「　ハスケルのファイル名は　hello.hs　みたいに名付けるそうよ」

🗒 hello.hs :

main = putStrLn "Hello, Haskell!"

「　↑　テキストファイルは　こんなんでいいのかだぜ？」

ghc hello.hs

「　↑　コンパイルが必要なようだぜ。 hello, hello.hi, hello.o ファイルが生成されたぜ」

./hello
Hello, Haskell!

「　↑　hello コマンドができたのかだぜ？　あっ、動いた」

キャベルもスタックも無い

cabal repl --build-depends async,say
Command 'cabal' not found, but can be installed with:
sudo apt install cabal-install

stack exec --package async --package say -- ghci
Command 'stack' not found, but can be installed with:
sudo apt install haskell-stack

「　↑　キャベルもスタックも無いが？」

「　Visual Studio の拡張ですからねえ」

📖　https://www.haskell.org/ghcup/install/

📺　https://www.youtube.com/watch?v=bB4fmQiUYPw

「　↑　動画もあるが　Windows　で参考にならねー。飽きてきた」

curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh

[ Warn  ] [GHCup-00110] ghc-9.4.7 is already installed; if you really want to reinstall it, you may want to run 'ghcup install ghc --force 9.4.7'
[ Info  ] GHC 9.4.7 successfully set as default version
[ Warn  ] [GHCup-00110] cabal-3.6.2.0-p1 is already installed; if you really want to reinstall it, you may want to run 'ghcup install cabal --force 3.6.2.0-p1'

「　↑　cabel はインストールされてるらしいが、コマンドは無い」

ghcup install cabal --force 3.6.2.0-p1
ghcup: command not found

「　↑　ghcup コマンドも無いぜ」

「　Visual Studio Code を再起動 してみては？」

ghcup --version
The GHCup Haskell installer, version 0.1.20.0

ghc --version
The Glorious Glasgow Haskell Compilation System, version 9.4.7

ghci --version
The Glorious Glasgow Haskell Compilation System, version 9.4.7

「　↑　インストールされてる……」

cabal repl --build-depends async,say

「　↑　何をやってるか分からないが　コマンドを叩くぜ」

Resolving dependencies...
Build profile: -w ghc-9.4.7 -O1
In order, the following will be built (use -v for more details):
 - hashable-1.4.3.0 (lib) (requires download & build)
 - say-0.1.0.1 (lib) (requires download & build)
 - async-2.2.5 (lib) (requires download & build)
 - fake-package-0 (lib) (first run)
Downloading  hashable-1.4.3.0
Downloaded   hashable-1.4.3.0
Downloading  async-2.2.5
Starting     hashable-1.4.3.0 (lib)
Building     hashable-1.4.3.0 (lib)
Downloaded   async-2.2.5
Downloading  say-0.1.0.1
Downloaded   say-0.1.0.1
Starting     say-0.1.0.1 (lib)
Building     say-0.1.0.1 (lib)
Installing   hashable-1.4.3.0 (lib)
Installing   say-0.1.0.1 (lib)
Completed    hashable-1.4.3.0 (lib)
Starting     async-2.2.5 (lib)
Completed    say-0.1.0.1 (lib)
Building     async-2.2.5 (lib)
Installing   async-2.2.5 (lib)
Completed    async-2.2.5 (lib)
Configuring library for fake-package-0..
Preprocessing library for fake-package-0..
Warning: No exposed modules
GHCi, version 9.4.7: https://www.haskell.org/ghc/  :? for help
Loaded GHCi configuration from /tmp/cabal-repl.-149129/setcwd.ghci
ghci>

「　↑　何のこっちゃ」

ghci> import Control.Concurrent.Async
ghci> import Say
ghci> concurrently_ (sayString "Hello") (sayString "World")
Hello
World

「　↑　並行処理をしたんかな？」

:quit
Leaving GHCi.

cabal install --lib async say --package-env .

「　↑　何をやってるか分からないが　コマンドを叩くぜ」

Warning: Unknown/unsupported 'ghc' version detected (Cabal 3.6.2.0 supports
'ghc' version < 9.4): /home/muzudho/.ghcup/bin/ghc is version 9.4.7
Warning: Unknown/unsupported 'ghc' version detected (Cabal 3.6.2.0 supports
'ghc' version < 9.4): /home/muzudho/.ghcup/bin/ghc is version 9.4.7
Resolving dependencies...
Up to date

「　↑　だんだん　嫌になってきた」

パッケージを作る？

mkdir haskell-project
cd haskell-project
cabal init --interactive

「　↑　わけもわからず打鍵」

Should I generate a simple project with sensible defaults? [default: y] 

Guessing dependencies...

Generating LICENSE...
Warning: unknown license type, you must put a copy in LICENSE yourself.
Generating CHANGELOG.md...
Generating src/MyLib.hs...
Generating app/Main.hs...
Generating haskell-project.cabal...

Warning: no synopsis given. You should edit the .cabal file and add one.
You may want to edit the .cabal file and add a Description field.

「　↑　なんのこっちゃ」

Input:

cabal build

Output:

Warning: Unknown/unsupported 'ghc' version detected (Cabal 3.6.2.0 supports
'ghc' version < 9.4): /home/muzudho/.ghcup/bin/ghc is version 9.4.7
Resolving dependencies...
Build profile: -w ghc-9.4.7 -O1
In order, the following will be built (use -v for more details):
 - haskell-project-0.1.0.0 (lib) (first run)
 - haskell-project-0.1.0.0 (exe:haskell-project) (first run)
Configuring library for haskell-project-0.1.0.0..
Preprocessing library for haskell-project-0.1.0.0..
Building library for haskell-project-0.1.0.0..
[1 of 1] Compiling MyLib            ( src/MyLib.hs, /home/muzudho/Documents/git_hub/haskell-practice-on-ubuntu/haskell-project/dist-newstyle/build/x86_64-linux/ghc-9.4.7/haskell-project-0.1.0.0/build/MyLib.o, /home/muzudho/Documents/git_hub/haskell-practice-on-ubuntu/haskell-project/dist-newstyle/build/x86_64-linux/ghc-9.4.7/haskell-project-0.1.0.0/build/MyLib.dyn_o )
Configuring executable 'haskell-project' for haskell-project-0.1.0.0..
Preprocessing executable 'haskell-project' for haskell-project-0.1.0.0..
Building executable 'haskell-project' for haskell-project-0.1.0.0..
[1 of 1] Compiling Main             ( app/Main.hs, /home/muzudho/Documents/git_hub/haskell-practice-on-ubuntu/haskell-project/dist-newstyle/build/x86_64-linux/ghc-9.4.7/haskell-project-0.1.0.0/x/haskell-project/build/haskell-project/haskell-project-tmp/Main.o )
[2 of 2] Linking /home/muzudho/Documents/git_hub/haskell-practice-on-ubuntu/haskell-project/dist-newstyle/build/x86_64-linux/ghc-9.4.7/haskell-project-0.1.0.0/x/haskell-project/build/haskell-project/haskell-project

「　↑　なんのこっちゃ」

Input:

cabal run

output:

Up to date
Hello, Haskell!
someFunc

「　↑　なんのこっちゃ」

依存性の追加

「　haskell-project.cabal ファイルを　Visual Studio Code で開くぜ」

🗒 haskell-project.cabal:

cabal-version:      2.4
name:               haskell-project
version:            0.1.0.0

-- A short (one-line) description of the package.
-- synopsis:

-- A longer description of the package.
-- description:

-- A URL where users can report bugs.
-- bug-reports:

-- The license under which the package is released.
-- license:
author:             muzudho
maintainer:         [email protected]

-- A copyright notice.
-- copyright:
-- category:
extra-source-files: CHANGELOG.md

library
    exposed-modules:  MyLib

    -- Modules included in this library but not exported.
    -- other-modules:

    -- LANGUAGE extensions used by modules in this package.
    -- other-extensions:
    build-depends:    base ^>=4.17.2.0
    hs-source-dirs:   src
    default-language: Haskell2010

executable haskell-project
    main-is:          Main.hs

    -- Modules included in this executable, other than Main.
    -- other-modules:

    -- LANGUAGE extensions used by modules in this package.
    -- other-extensions:
    build-depends:
        base ^>=4.17.2.0,
        haskell-project

    hs-source-dirs:   app
    default-language: Haskell2010

「　↑　なんのこっちゃ」

「　src/MyLib.hs ファイルを　Visual Studio Code で開くぜ」

🗒 src/MyLib.hs :

module MyLib (someFunc) where

import System.Directory

someFunc :: IO ()
someFunc = do
  contents <- listDirectory "src"
  putStrLn (show contents)

「　↑　なんのこっちゃ」

モジュールの追加

「　以下のファイルを新規作成しろとのことだぜ」

🗒 src/OtherLib.hs :

module OtherLib where

otherFunc :: String -> Int
otherFunc str = length str

cabal repl
ghci> import OtherLib

: error:
    Could not find module ‘OtherLib’
    It is not a module in the current program, or in any known package.```

「　↑　ダメだ　エラーだ　終わった」

「　何やってんの？」

「　わからない。コピー貼り付けしてるだけ」

🗒 haskell-project.cabal:

library
    exposed-modules:  MyLib

「　↑　この部分を」

🗒 haskell-project.cabal:

library
    exposed-modules:  MyLib
                      OtherLib

「　↑　こう書き換えたらいいんじゃない？」

cabal repl
Resolving dependencies...
Build profile: -w ghc-9.4.7 -O1
In order, the following will be built (use -v for more details):
 - haskell-project-0.1.0.0 (lib) (configuration changed)
Configuring library for haskell-project-0.1.0.0..
Preprocessing library for haskell-project-0.1.0.0..
GHCi, version 9.4.7: https://www.haskell.org/ghc/  :? for help
[1 of 2] Compiling MyLib            ( src/MyLib.hs, interpreted )
[2 of 2] Compiling OtherLib         ( src/OtherLib.hs, interpreted )
Ok, two modules loaded.
ghci> import OtherLib
ghci> otherFunc "Hello Haskell"
13

「　↑　なんか動いた。何をやってるか分からないぜ」

「　エグザンプルは　ここで終わってるぜ。あとは勝手に調べろとのことだぜ」

「　サンプル・プログラムを探そうぜ？」

(📅 2023-12-23 sat) サンプル・プログラムを探そうぜ？

「　↓　ハスケルの素人はこれを観ろ、ということだぜ」

📖　https://github.com/haskell-beginners-2022/course-plan
- 📺　Haskell Beginners 2022: Lecture 1 - １時間２３分

FP - Functional Programming

fx(x) = x^2

プログラミングの関数は、この数学の関数ではない

無限ループでハングするから
副作用があるから
例外があるから
メモリがなくなるから

プログラミングの関数は

ブロックを組み立てるようなもの
- Define
- Call
- Compose
- Pass as an argument
- Inspect
FP Concepts
- Higher-Order Functions (HOF)
- Algebraic Data Types (ADT)
- Pattern Matching
- Purity
- Immutability
- Totality
- Laziness
Haskell Features
- Static typing
- Polymorphisms
- Type inference
- Layout-sensitivity
- ML syntax
- Automatic currying
- Garbabe collector
- Green threads
- Software Transactional memory (STM)
- etc...
Haskell Toolchain
- GHC (Glasgow Haskell Compiler) - the compiler
- GHCi (GHC interactive) - interactive interpreter aka REPL(Read-Eval-Print-Loop)
- cabal - a Haskell build tool, the .......
- stack
- HLS (Haskell Language Server)
- ghcup
Haskell Toolchain / GHCi
- Arithmetic
- Logic
- Calling functions
  - () are important!
- Types - 式は型を持つ。 :t や :tpye で型を見れる。型の型は見れない
- Types of numbers - :t +d で調べる
- Types of functions -> :t div より、 :t +d div を使って調べる。２項の引数のとき、見やすい
- List
  - List literals - [] の話。 [] ++ [] とか
  - List: head/tail/last/init
    - 空リストの head は例外
  - List: more functions
    - reverse
    - take
    - drop
    - null
    - elem
    - concat
    - length
    - !! - この操作は処理が遅い。インデックスを使ったランダムアクセスか？
  - List: ranges
    - [1 .. 10] や、 [1, 3 .. 20]
    - [10 .. 1] は空っぽ。 [10, 9 .. 1] はできる
    - [0 .. ] インフィニティもできる
Lazy evaluation
- take 3 [0 .. ] で、 [0, 1, 2]
- take 3 (drop 5 [0 .. ] で、[5,6,7]
- length [0 .. ] - 終わらない。無限のリストには注意
ディスプレイの信号が消えた
Syntax
- Define a function
- Loading a module
Packages
- module
- package
- Hackage
- base
- prelude
if-then-else
- def list = if null list then def else head list

headOfDefault def list =
    if null list
    then def
    else head list

続き
- guards - マッチ構文みたいなやつ

sign n
    |  略

続き
- let-in - リストに含まれているか調べる？
- where - 関数定義で使う？
- immutablirity - １回だけ代入できるというもの
- How do you change if you can't?
  - Recursion
  - No more loops
Higher-order functions
- First-Class Functions
- Lambda functions
- Partial application
- Standard HOFs
  - map
  - filter even
  - filter
  - any
  - concatMap replicate
  - take iterate
- Functions inside lists
- Recap: GHCi commands
  - :q
  - :t
  - :t +d
  - :l
  - :i
- More sources

「　フーム」

「　↓　基礎勉強は　もういいだろ、コンピューター将棋を作ろうぜ？」

📖　Haskell でコンピューター将棋を作ろうぜ(^o^)？

「　レクチャーの動画は　あと３本　あるみたいよ？

「　基礎勉強ばっかりだと飽きるんで　並行してやろう」

レクチャー２

「　すぐ　詰まる。動画見よ」

📖　Haskell Beginners 2022: Lecture 2

Pattern Matching
- Pattern
- case-of - スイッチ文みたいなやつか？

eval :: Char -> Int -> Int -> Int
eval op x y = case op of
    '+' -> x + y
    '-' -> x - y
    '*' -> x * y
    '/' -> div x y
    _ -> 0

続き
- Patterns on lists
- Structural List Patterns
- Heads or Tails?
- List Recursion
- What's wrong, Haskell? - 書き方でコンパイル・エラーが出る例、エラーは出ないが悪い書き方の例
- Totality - すべての入力に対して出力が定義されていることか？
  - Partial - 非 total
Data
- Tuples
- Working with tuples
- Algebraic Data Type (ADT)
  - Product Type - 異なる型などを結合したもの
    - data: Product
    - data: Working with data - セッターとゲッターの書き方
    - data: Records - 構造体みたいなもん
  - Sum Type
    - Sum Types: Enumerations - いわゆる列挙型
    - Sum Types - Result とか
    - Recursive data types
      - Empty list
      - An eleement prepended to a list
    - type - type キーワード。型の別名？式が見やすくなる
    - newtype - コンストラクタの別名？？
Polymorphism
- Parametric polymorphism - ジェネリクスみたいなやつ
- Real types
- Hoogle - Haskell Search Engine
- Polymorphic types
- Common types - Optional Value とか、左右とか
- Common Functions
Back to Functions
- Eta-reduction, part1
- Eta-reduction, part2
- Function Composition
  - ELI5 Composition
- Composition + Eta-reduction
- More sources

「　はー、ふーん、うーん？」

レクチャー３

📖　Haskell Beginners 2022: Lecture 3

Common properties
Polimorphisms
- Parametric Polymorphism
- Ad-hoc polymorphism
class
instance
Separation of concerns
- data
- class
- instance
Default methods
Not Java Interfaces
{-# LANGUAGE #-} - ランゲージ・プラグマ。
Standard Typeclasses
- Eq
- Ord - Ordering 比較演算子
  - LT
  - EQ
  - GT
- Show
- Read
- Bounded
- Enum
- Num
Type interface
- deriving - 派生
- Generaliz(s)edNewtypeDeriving
- Algebra
  - <> - ダイヤモンド演算子
- newtype again
Everything is Semigroup, Okay, not really everything...
- Semigroup
Algebra, part2
- Monoid
- Not everything is Monoid
Modules
Kind
- Be kind to us, Haskell
  - Kind - a type of a type
  - Kindly check your types
typeclass for type constructors
Functor
Functor laws - 10種類
- 1: Identity
- 2: Composition
Folds
- ステップ関数
- Everything is a Fold
- How foldr folds
  - コンスピレーター
- How foldl/foldl' folds
- foldr vs foldl
- Foldable
Strict evaluation
- 等式推論
{-# LANGUAGE BangPatterns #-}
Use strict/lazy evaluation wise.....
More sources

レクチャー４

📖　Haskell Beginners 2022: Lecture 4

Monad: The Idea
- Maybe, yes? Maybe, no?
  - andThen - Ordinary helper function
  - ワンライナーで書けるようになる
- Either way
- Multiple combinations
- It there a pattern?
- What to do when we see a pattern?
  - 1. Nothing
  - 2. Recognize
  - 3. Copy-paste
  - 4. Abstract
  - 5. Put in a library
Monad is a pattern
- 数学の圏論と違う。 Haskell は概念を借りてきただけ。
- Monad
- return も関数
- Just a typeclass
- Instance
- Laws
Generalizing
- (:[]) - robot monkey operator
Refactoring
Actually, in Haskell...
- pure - ハスケルでは return の代わりに pure をよく使う
And that's the Monad
Real World
- Purity - 純粋。副作用がない関数。
  - 1. Determinism
  - 2. Easier reasoning
  - 3. Simpler testing
  - 4. Composability
  - 5. Optimizations
  - 6. Parallelism
- Purity + Laziness
  - getLine
- Input/Output(IO)
- Concept of IO
- How to run IO?
  - unit type - 空の丸括弧
- How to run Haskell programs?
  - main - メイン関数
  - ハローワールド
  - Printing twice
- do 構文 - do-notation
  - let-in rule
  - Example with do
Cabal - カバール
- 独自の形式。拡張子は .cabal
- app フォルダーと、 src フォルダーに分ける。 app は実行可能で、 src はライブラリーか？
- Typical main
- build-depends
  - Hackage - ユーザー作成のパッケージが置いてる？
Functional,Imperative
- Imperative style - 命令型スタイル
- Functional style - 関数型スタイル
More sources

「　ふーむむむ？」

次の関連記事

📖　Haskell でコンピューター将棋を作ろうぜ(^o^)？

Data.Aesonの使い方

2019-09-29T19:46:32+09:00

自分のブログ記事からのクロス投稿です。

HaskellのJSONライブラリとしておそらくメジャーなData.Aesonですが、使い方が難しいので色々試行錯誤しています。

以降のコードはghci上で実行することを想定しています。
適当にstackでプロジェクトを作って、aesonをcabalファイルのbuild-dependsに追加してビルドし、stack ghciとするのが良いと思います。あと、Data.TextやData.HashMapなども必要です。

# ここはターミナルで
stack new sandbox-prj simple
cd sandbox-prj
# cabalファイルのbuild-dependsにaeson, text, unordered-containers, vectorを追記
stack build
stack ghci

はじめに、以下をghci上でコピペしておいてください。以降のコードが全部動くはずです。

-- ghci上で
-- 最初にこれらをコピペしておくと、以降のコードが全部動くはず

-- 後でGHC拡張を使う
:set -XDeriveGeneric
:set -XExistentialQuantification
:set -XFlexibleContexts
:set -XFlexibleInstances
:set -XGADTs
:set -XInstanceSigs
:set -XOverloadedStrings
:set -XTypeFamilies
:set +m

-- 後で色々使う
import Control.Applicative (empty, pure)
import Data.Aeson
import qualified Data.Aeson.Encoding.Internal as DAE
import Data.Aeson.Types
import Data.Char (toLower, toUpper)
import qualified Data.HashMap.Lazy as HML
import qualified Data.HashMap.Strict as HMS
import qualified Data.Text as T
import qualified Data.Text.Lazy as TL
import qualified Data.Vector as V
import GHC.Generics

基本的な使い方

基本的な型については特にパーサーを定義しなくて良いので、いきなりエンコード・デコードできます。

エンコード

encode 1
-- --> "1"
encode "hello"
-- --> "\"hello\""
encode [1,2,3]
-- --> "[1,2,3]"
encode (1,2)
-- --> "[1,2]"
encode (Just 1)
-- --> "1"
encode True
-- --> "true"
encode Null
-- --> "null"
encode (1234, "hello", True, False, [1,2,3], Just 10)
-- --> "[1234,\"hello\",true,false,[1,2,3],10]"

デコードは、Haskellの型を指定する必要があります。

-- 型を指定しないとデコードできない
decode "1"
-- --> Nothing

decode "1" :: Maybe Int
-- --> Just 1
decode "\"hello\"" :: Maybe String
-- --> Just "hello"
decode "[1234,\"hello\",true,false,[1,2,3],10]" :: Maybe (Int,String,Bool,Bool,[Int],Maybe Int)
-- --> Just (1234,"hello",True,False,[1,2,3],Just 10)

Haskellのレコードを使うときは、以下のように型名のプレフィックスをフィールド名につけて定義することが多いかもしれません（あるいはlensなどを使うのかもしれませんが）。それでも、JSONのフィールド名はシンプルに"title", "created"としておきたいですよね。
こういう場合、defaultOptionsというのを使います。fieldLabelModifierに、フィールド名の変換関数を定義しておけば、エンコード時に適用してくれます。ここでは、プレフィックス（"movie"の5文字）を取り除き、かつ小文字にするというルールにしました。

:{
data Movie = Movie
  { movieTitle :: String
  , movieCreated :: Int
  } deriving (Show, Generic)
:}
movieOptions = defaultOptions {fieldLabelModifier = map toLower . drop 5}
instance ToJSON Movie where
  toEncoding = genericToEncoding movieOptions
instance FromJSON Movie where
  parseJSON = genericParseJSON movieOptions


movie = Movie "The Matrix" 1999

encode movie
-- --> "{\"title\":\"The Matrix\",\"created\":1999}"

decode "{\"title\":\"The Matrix\",\"created\":1999}" :: Maybe Movie
-- --> Just (Movie {movieTitle = "The Matrix", movieCreated = 1999})

エンコーダー・デコーダーを自前で定義

では、代数データ型の場合はどうでしょうか。基本的には以下のように自動導出できます。

data Size = Small|Medium|Large deriving (Show, Generic)
instance ToJSON Size
instance FromJSON Size

encode [Small, Medium, Large]
-- --> "[\"Small\",\"Medium\",\"Large\"]"

decode "[\"Small\",\"Medium\",\"Large\"]" :: Maybe [Size]
-- --> Just [Small,Medium,Large]

ただ、JSONデータではキャメルケースでなくsmall, medium, largeのように小文字で表現したいかもしれません。その場合は、以下のように自分で定義する必要があります。ToJSONのインスタンスにするには、toJSONか、toEncodingを自分で定義します。以下のような型です。

toJSON :: a -> Value
toEncoding :: a -> Encoding

toJSONは任意の型をData.AesonのValue型にします。したがって、toJSONのみを定義した場合は、toEncodingが自動導出されます。JSONにエンコードするときは、一旦Valueに変換され、その後JSONの文字列に変換されます。
一方、toEncodingを直接定義することもできて、その場合は、Valueを経由せず直接エンコードされることになります。ここには歴史的経緯があるようです。

-- toJSONを定義する場合
data Size = Small|Medium|Large deriving (Show, Generic)
instance ToJSON Size where
  toJSON Small = String "small"
  toJSON Medium = String "medium"
  toJSON Large = String "large"

encode [Small, Medium, Large]
-- --> "[\"small\",\"medium\",\"large\"]"

-- toEncodingを定義する場合
data Size = Small|Medium|Large deriving (Show, Generic)
instance ToJSON Size where
  toEncoding Small = DAE.string "small"
  toEncoding Medium = DAE.string "medium"
  toEncoding Large = DAE.string "large"

encode [Small, Medium, Large]
-- --> "[\"small\",\"medium\",\"large\"]"

FromJSONのインスタンスについては、parseJSONを定義します。こちらは少し面倒です。以下のような型をしています。

parseJSON :: Value -> Parser a

-- withTextの第一引数（"Size"）は、どんな文字列でも良いみたい。
-- なんのための引数なのかまだわかっていない。
instance FromJSON Size where
  parseJSON = withText "Size" $ \t ->
    fromString (TL.unpack (TL.fromStrict t))
    where fromString :: String -> Parser Size
          fromString "small" = pure Small
          fromString "medium" = pure Medium
          fromString "large" = pure Large
          fromString _ = empty

decode "[\"small\",\"medium\",\"large\"]" :: Maybe [Size]
-- --> Just [Small,Medium,Large]

これで、Sizeデータを使ったレコードもエンコード・デコードすることができます。

:{
data Tomato = Tomato
  { size :: Size
  , brand :: String
  } deriving (Show, Generic)
:}
instance ToJSON Tomato
instance FromJSON Tomato

mini = Tomato Small "famous brand name"

encode mini
-- --> "{\"size\":\"small\",\"brand\":\"famous brand name\"}"

decode "{\"size\":\"small\",\"brand\":\"famous brand name\"}"
-- --> Just (Tomato {size = Small, brand = "famous brand name"})

多相型

このようなデータ型でもこれまでと同じようにToJSON・FromJSONのインスタンスにすることができます。自動導出の場合は、以下の例のようにエンコード時にWrapが外れます。

data Wrap a = Wrap a deriving (Show, Generic)
instance ToJSON a => ToJSON (Wrap a)
instance FromJSON a => FromJSON (Wrap a)

encode $ Wrap 1
-- --> "1"
encode $ Wrap "wrapped"
-- --> "\"wrapped\""

decode "1" :: Maybe (Wrap Int)
-- --> Just (Wrap 1)
decode "\"wrapped\"" :: Maybe (Wrap String)
-- --> Just (Wrap "wrapped")

今度はPoint a型で考えます。自動導出で問題ない場合は良いのですが、自分で定義しようとした時に、少し悩みました。toJSONもparseJSONも、aの部分の値をエンコード・デコードする処理を自分で定義してしまうと型を決めなくてはなりません。そうするとaのままではできず、Point Intなどの具体的な型で定義せざるを得ません。そこで、aの部分については、自分で定義せず、toJSONやparseJSONをそのまま使います。もともとaはそれらのインスタンスであることを仮定しているので、自分で定義する必要がありません。以下のように書くと、型引数をとる型についても定義できます。

data Point a = Point a a deriving (Show, Generic)
instance ToJSON a => ToJSON (Point a) where
  toJSON (Point x y) = Object $ HMS.fromList [("point", toJSON [x,y])]

:{
instance FromJSON a => FromJSON (Point a) where
  parseJSON (Object o) = case HML.lookup "point" o of
    Just arr -> let
                    pts = parseJSON arr :: FromJSON b => Parser (b, b)
                in
                    Point <$> (fst <$> pts) <*> (snd <$> pts)
    Nothing -> empty
:}

pi = Point 1 2
ps = Point "one" "two"

encode pi
-- --> "{\"point\":[1,2]}"

encode ps
-- --> "{\"point\":[\"one\",\"two\"]}"

decode "{\"point\":[1,2]}" :: Maybe (Point Int)
-- --> Just (Point 1 2)

decode "{\"point\":[\"one\",\"two\"]}" :: Maybe (Point String)
-- --> Just (Point "one" "two")

少し複雑な代数データ型

data Gender = Female|Male deriving (Show, Generic)
data Property = Name String|Age Int|Gender Gender deriving (Show, Generic)
instance ToJSON Gender
instance FromJSON Gender
instance ToJSON Property
instance FromJSON Property

props = [Name "Neo", Age 30, Gender Male]

encode props
-- --> "[{\"tag\":\"Name\",\"contents\":\"Neo\"},{\"tag\":\"Age\",\"contents\":30},{\"tag\":\"Gender\",\"contents\":\"Male\"}]"

decode "[{\"tag\":\"Name\",\"contents\":\"Neo\"},{\"tag\":\"Age\",\"contents\":30},{\"tag\":\"Gender\",\"contents\":\"Male\"}]" :: Maybe [Property]
-- --> Just [Name "Neo",Age 30,Gender Male]

このような型でもすべて自動導出できました。しかし、JSONのフォーマットは微妙ですね。以下のようになって欲しいです。（レコード型で定義すれば良いだけの話なのですが、今は例ということで。。）

{ "name": "Neo", "age": 30, "gender": "male" }

自前で定義しましょう。名前を変えるため別の例にしますが、データ構造はほぼ一緒です。

data CarType = Coupe|SUV deriving (Show, Generic)
data Car = Model String|Release Int|CarType CarType deriving (Show, Generic)

instance ToJSON CarType where
  toJSON Coupe = String "coupe"
  toJSON SUV = String "suv"

instance FromJSON CarType where
  parseJSON = withText "CarType" $ \t ->
    fromString (T.unpack t)
    where fromString :: String -> Parser CarType
          fromString "coupe" = pure Coupe
          fromString "suv" = pure SUV
          fromString _ = empty

instance ToJSON Car where
  toJSON (Model s) = object [("model", toJSON s)]
  toJSON (Release i) = object [("release", toJSON i)]
  toJSON (CarType c) = object [("car_type", toJSON c)]

instance FromJSON Car where
  parseJSON (Object o) = case HML.lookup "model" o of
    Just (String s) -> pure (Model $ T.unpack s)
    _ -> case HML.lookup "release" o of
      Just i -> Release <$> (parseJSON i :: Parser Int)
      _ -> case HML.lookup "car_type" o of
        Just t -> CarType <$> (parseJSON t :: Parser CarType)

myCar = [Model "Land Cruiser", Release 1954, CarType SUV]

encode myCar
-- --> "[{\"model\":\"Land Cruiser\"},{\"release\":1954},{\"car_type\":\"suv\"}]"

decode "[{\"model\":\"Land Cruiser\"},{\"release\":1954},{\"car_type\":\"suv\"}]" :: Maybe [Car]
-- --> Just [Model "Land Cruiser",Release 1954,CarType SUV]

これで、望みのJSON形式でエンコード・デコードできるようになりました。

Either型

Either型の場合はどうなるでしょうか。わからないのでまずは自動導出して見ましょう。

:{
data Filter = Filter
  { value :: Either String [String] } deriving (Show, Generic)
:}
instance ToJSON Filter
instance FromJSON Filter

filterL = Filter (Left "eq")
filterR = Filter (Right ["eq", "gt"])

encode filterL
-- --> "{\"value\":{\"Left\":\"eq\"}}"

encode filterR
-- --> "{\"value\":{\"Right\":[\"eq\",\"gt\"]}}"

decode "{\"value\":{\"Left\":\"eq\"}}" :: Maybe (Filter)
-- --> Just (Filter {value = Left "eq"})

decode "{\"value\":{\"Right\":[\"eq\",\"gt\"]}}" :: Maybe (Filter)
-- --> Just (Filter {value = Right ["eq","gt"]})

一応できました。しかし、JSONデータの中に"Left"や"Right"が入ってしまって冗長です。この場合は、以下のようになって欲しいですね。

# Leftの場合
{"value": "eq"}

# Rightの場合
{"value": ["eq", "gt"]}

以下のように定義しましょう。別の例にするのが面倒なので、同じデータを再定義します。

:{
data Filter = Filter
  { value :: Either String [String] } deriving (Show, Generic)
:}
instance ToJSON Filter where
  toJSON (Filter (Left s)) = object [("value", toJSON s)]
  toJSON (Filter (Right ss)) = object [("value", toJSON ss)]

-- Arrayの時に、判定できていないのが難点
-- でも、失敗した時はちゃんとNothingを返してくれるのでとりあえず良いか
instance FromJSON Filter where
  parseJSON (Object o) = case HML.lookup "value" o of
    Just (String s) -> pure (Filter (Left $ T.unpack s))
    Just arr -> (Filter . Right) <$> (parseJSON arr :: Parser [String])
    _ -> empty

filterL = Filter (Left "eq")
filterR = Filter (Right ["eq", "gt"])

encode filterL
-- --> "{\"value\":\"eq\"}"

encode filterR
-- --> "{\"value\":[\"eq\",\"gt\"]}"

decode "{\"value\":\"eq\"}" :: Maybe Filter
-- --> Just (Filter {value = Left "eq"})

decode "{\"value\":[\"eq\",\"gt\"]}" :: Maybe Filter
-- --> Just (Filter {value = Right ["eq","gt"]})

Either型の場合もこのように定義することで自由にJSONとの変換ができます。ちなみに上記の例のようにではなく、Either String aとしてエラーメッセージ付きのMaybeのような扱いをしたい場合は、専用の関数がすでに用意されているようです。

GADT

この場合は、Field StringとField Boolの場合でそれぞれ定義するしかなさそうです。もしまとめて定義する方法があれば誰か教えてください。

data Field typ = (typ ~ String) => Title | (typ ~ Bool) => Done

instance Show (Field typ) where
  show Title = "Title"
  show Done = "Done"

instance ToJSON (Field typ) where
  toJSON Title = String "title"
  toJSON Done = String "done"

:{
instance FromJSON (Field String) where
  parseJSON = withText "Field" $ \v -> case v of
    "title" -> pure Title
    _ -> empty
instance FromJSON (Field Bool) where
  parseJSON = withText "Field" $ \v -> case v of
    "done" -> pure Done
    _ -> empty
:}
encode Title
-- --> "\"title\""
encode Done
-- --> "\"done\""
decode "\"title\"" :: Maybe (Field String)
-- --> Just Title
decode "\"done\"" :: Maybe (Field Bool)
-- --> Just Done

で、このFieldを使って、以下のようなレコードを定義します。

:{
data Filter = forall typ. Show typ => Filter
            { field :: Field typ
            , value :: typ
            }
:}

なぜこんなデータ型を考えているかというと、実はpersistentのクラスに、Filterっていうのがあって、これをFromJSONのインスタンスにしたかったのです。このデータをもう少し簡易にしたものが、上で定義したFilterです。ここでの肝は、型引数のtypが型としては明示的に現れていない点です。つまりFilter Title "some title"も、Filter Done Trueも型としては単にFilter型ですが、前者のtypはStringで後者はBoolです。

-- どちらも単にFilter型
:t Filter Title "some title"
-- --> Filter Title "some title" :: Filter

:t Filter Done True
-- --> Filter Done True :: Filter

このようなデータ型の場合、先ほどFieldのFromJSONをField StringとField Boolでそれぞれ定義した時のようなことができません。fieldの値がTitleならtypはString、DoneならBoolというような場合分けをする必要があります。色々試行錯誤してようやくできた定義が以下です。mayTitleとmayDoneの場合分けのところは、この2つデータの型が違うので、それぞれ別の変数にせざるを得ませんでした。そのためmayFieldを必ず2回評価することになり、無駄の多い実装になってしまいました。

instance FromJSON Filter where
        parseJSON (Object o) = do
            let mayField = HMS.lookup "field" o
            let mayValue = HMS.lookup "value" o
            let mayTitle = case mayField of
                               Just (String "title") -> Just Title
                               _ -> Nothing
            let mayDone = case mayField of
                              Just (String "done") -> Just Done
                              _ -> Nothing
            case mayValue of
                Just value -> do
                    case mayTitle of
                        Just title -> Filter title <$> (parseJSON value :: Parser String)
                        Nothing -> case mayDone of
                                       Just done -> Filter done <$> (parseJSON value :: Parser Bool)
                                       Nothing -> empty
                Nothing -> empty

-- Filter Title "some title"
case decode "{\"field\":\"title\", \"value\":\"some title\"}" :: Maybe Filter of
    Just (Filter field value) -> print value
    Nothing -> print Nothing

-- Filter Done True
case decode "{\"field\":\"done\", \"value\":true}" :: Maybe Filter of
    Just (Filter field value) -> print value
    Nothing -> print Nothing

Haskellで複雑度測定

2019-09-23T09:59:26+09:00

※ この記事はHaskellで複雑度測定からの転載です。

自分で書いているブログのPVが増えなくて悲しいので、こういうところにも載せて見たら多少増えるんじゃないかと思って試しに載せて見ます。

Haskellでサイクロマティック複雑度（循環的複雑度）を測定する場合、2つツールがあるようです。

githubのスター数はargonの方が多いのですが、コミット履歴を見るとhomplexityの方が今もメンテナンスされているようなのでhomplexityがオススメです。機能的な違いは特に調べていません。

homplexityの機能

公式サイトによれば、以下の統計値を出してくれるようです。

Cyclomatic complexity
Code metric
Lines of code
Branching depth
Type metric
Comment metric
Code to comments ratio
Type tree nodes
Number of function arguments

本題から外れますがBranching depthってなんでしょうか。説明には

Branching is used with conditionals and has been used as a criterion for both software complexity and logic.

と書いてあります。分岐の数のことなんでしょうか。ちょっと試して見たところ、if分岐がある場合でも0でしたが、ifの中にifをネストさせると1になり、ifの中にifの中にifとネストさせると2になりました。だから分岐の深さってことか。なんかサイクロマティック複雑度と似ていますね。

homplexityのインストール

stackが入っていれば簡単です。クローンしてstack installするだけです。

git clone https://github.com/mgajda/homplexity.git
cd homplexity
stack install

で、~/.local/binにhomplexity-cliができるはずです。パスを通すなら、~/.bashrcや~/.bash_profileなどに

PATH=$PATH:~/.local/bin

を追記すれば良いです。

これで簡単にインストールできるのは良いのですが、このリポジトリで指定しているGHCバージョンが入っていない場合、そのインストールと依存パッケージのインストールから始めるので結構時間がかかるかもしれません。これがstackのデメリットですよね（メリットなのか？cabal hellという言葉を思い出した、そしてWhat is Cabal Hell?というStackoverflowを見つけたw）。

使い方

githubリポにも書いてありますが、以下のようにメインモジュールファイルと依存モジュールのルートディレクトリを指定します。

# プロジェクトディレクトリ構成がこのようになっている場合
root --- app --- Main.hs
      |
      |- src --- Lib.hs
              |- ...

homplexity-cli app/Main.hs src/

これで、メインモジュールと依存モジュールファイル群を見つけて各メソッドの複雑度を測定してくれます。出力は、

Warning:src/InterfaceAdapter/Presenter/StockAPIHandler.hs:SrcLoc "src/InterfaceAdapter/Presenter/StockAPIHandler.hs" 34 1:function stockServer has 48 lines of code should be kept below 20 lines of code.
Correctly parsed 16 out of 16 input files.

こんなのが出てきます。このファイルのこのメソッドが48行もあるから20行未満に抑えた方が良いよ、と言っています。これは複雑度ではありませんが。

もっと詳細な情報を出して欲しい場合は--severityというオプションを使います。ログレベルの設定のような感じです。homplexity -hを見てもらえばわかりますが、

# ヘルプの説明
 --severity={Debug|Info|Warning|Critical}  level of output verbosity (Debug Info Warning Critical) (default: Warning, from module: Main)

とのことなのでデフォルトはWarningですがInfoにすればもっと色々出てきます。以下はInfoで解析した時の出力の一部です。

homplexity-cli --severity=Info app/Main.hs src/
Info:app/Main.hs:SrcLoc "app/Main.hs" 1 1:module Main has 14 lines of code
Info:app/Main.hs:SrcLoc "app/Main.hs" 8 1:type signature for main has type constructor nesting of 1
Info:app/Main.hs:SrcLoc "app/Main.hs" 8 1:type signature for main has 1 arguments
Info:app/Main.hs:SrcLoc "app/Main.hs" 9 1:function main has 8 lines of code
Info:app/Main.hs:SrcLoc "app/Main.hs" 9 1:function main has cyclomatic complexity of 1
Info:app/Main.hs:SrcLoc "app/Main.hs" 9 1:function main has branching depth of 0

メソッドの行数
コンストラクタのネスト数
引数の数（＋1された数字が出ている？Haskellの関数には暗黙的な引数が一つあるのかな？それか単に型一つにつき1とカウントしているのかな？）
サイクロマティック複雑度
Branching depth
が出てきました。

これは、Makefileなどに書いておいて、毎回ビルドの時に一緒に測定してもらうなどが良さそうですね。それかIDEでファイル保存のトリガーで実行してくれる方が良いのかな。そこで警告などが出てくれればソースコードを見直そうという気になるかもしれません。