タプルとはなんだろうか？ - Haskell

正直、pythonなどでも、そうなのですが、タプルについては存在価値を理解できていませ ん。 pythonでは、その価値がイミュータブルな点だと説明されているところが多いように思い ます。多分それは破壊的変更が不可能だという事だと思います。 定数という事に近いかと思います。 タプルを参照する変数が、別のタプルを参照したり、タプル同士の加算代入演算子では、 代入先のタプル自体が変更されるのではなく、二つのタプルを加算した新しいタプルを作 成し、そのタプルを参照するという動作になるようです。

続きを読む "タプルとはなんだろうか？ - Haskell"

関数呼び出し、リスト、内包表記 -- Haskell

すごいHaskellたのしく学ぼう！ですが、まず、第一章の中盤まで。 関数呼び出しとリストについて勉強しました。

関数呼び出し

Lisp系などでは、演算子も

(+ 1 1)

のように左に置く（前置）ので、慣れるまでちょっと違和感を感じる事もありますが、Haskellでは演算子は中置できるそうです。

1 + 1

ややっこしいから統一して欲しいという時には、以下のように前置できる。

(+) 1 1

リスト

連結

リスト同士の連結は ++ 演算子で行う。これは中置できる。 で、文字列は文字のリストで表現されているため、文字列の結合も ++ 演算子で行う。

[1, 1, 1] ++ [2, 2, 2] ++ [3, 3, 3] -- [1, 1, 1, 2, 2, 2, 3, 3, 3]
"Hello " ++ "Haskell" -- "Hello Haskell"

C言語などのプログラミングでは ++ はインクリメントの単項演算子ですが、まぁソースの前後を見れば何をやっているのか 何となくはわかりますね。

ランダムアクセス

C言語の配列に添字でアクセスするようにリストの要素に先頭からの位置でアクセスが可能です。

[1, 2, 3, 4, 5] !! 2 -- 3 添字は0から始まる
[[10, 11, 12], [20, 21, 22], [30, 31, 32, 33]] !! 1 -- [20, 21, 22]
[[10, 11, 12], [20, 21, 22], [30, 31, 32, 33]] !! 1 !! 2 -- 22

と、この辺までは、なんとなく理解できました。書き方は違っていますが、考え方は他のプログラミング言語にもよく出てきます。 ここからちょっとややこしくなりました。

比較

まず、リストのまま比較できます。まぁ、これも考え方を少し変えてみれば不思議ではありません。文字列を比較演算子で 比較できる言語は結構あると思います。C言語はstrcmpで0との比較になりますね。

[1, 2, 3] < [1, 2, 4] -- True
[3, 2, 1] == [3, 2, 1] -- True
[2, 4, 6] /= [2, 4, 6] -- False

リスト関係の基本的な関数

head

先頭の要素を返す

tail

先頭を取り除いた残りの要素を返す

last

最後の要素を返す

init

最後を取り除いた残りの要素を返す

length

リストの長さを返す

null

空リストかどうかを論理値で返す

reverse

リストを逆順にする

take

先頭から指定数の要素をリストとして返す
take 3 [1, 2, 3, 4, 5] -- [1, 2, 3]

drop

先頭からして指数の要素を削除して残りの要素をリストとして返す
drop 2 [1, 2, 3, 4, 5] -- [3, 4, 5]

maximum

リスト中の最大の要素を返す

minimum

リスト中の最小の要素を返す

sum

リストの要素を全て足した値（和）を返す

product

リストの要素を全て掛けた値（積）を返す

elem

リストの中に要素が含まれているかを論理値で返す
中置関数で書かれる事が多いそうです。
elem 3 [1, 2, 3, 4, 5] -- True
8 `elem` [1, 2, 3, 4, 5] -- False

cycle

リストを永遠に繰り返す無限リストを返す
take 5 (cycle [1, 2, 3]) -- [1, 2, 3, 1, 2]

repeat

ひとつの要素を無限に繰り返すリストを返す
take 5 (repeat 'Z') -- "ZZZZZ"
putStrLn (take 4 (repeat 'あ')) -- 「ああああ」と出力する

replicate

ひとつの要素を指定回数繰り返すリストを返す
putStrLn (replicate 4 'あ') -- 「ああああ」と出力
replicate 5 7 -- [7, 7, 7, 7, 7]

範囲でリストを作成

例えば1から1000までのリストを作りたい時に[1, 2, 3, 4, 5, ......... 1000]って 書くのは大変ですが、リストを範囲で指定できます。

[1..1000] -- 1から1000までのリスト
[10, 20..1000] -- 10から10ずつ増加で1000まで [10, 20, 30, 40 ....]
[10, 20..] -- 10から10ずつ増加の無限リストtakeなどと組み合わせて使うと便利

pythonでは

range(1, 10) # 1, 2, 3, 4, 5, 6, 7, 8, 9
range(10, 1001, 10) # 10から10ずつ増加で1000まで [10, 20, 30, 40 ....]

と、第二引数より小さい値でリストを作成しますが、Haskellでは書いた値を含む リストを作るのでpythonプログラマーは注意が必要ですね。

続きを読む "関数呼び出し、リスト、内包表記 -- Haskell"

”すごいHaskellたのしく学ぼう！”でHaskellを始めてみようと思います

Haskell（ハスケルと読むらしい）(https://www.haskell.org/)の勉強を始めたので、自分のための整理用に記録しておこうと思う。

参考書

まず、何を読んだらいいのか？という所から始まったのだが、ネットで色々と調べてみると、どうやらH本とかすごいH本と呼ばれる本があるらしいという事がわかった。そのH本というのはビニール包装されたり自販機で販売されたりはしていないらしいという事もわかった。

「すごいHaskellたのしく学ぼう！」 Learn you a Haskell for Great Good!

Miran Lipovaca|著 田中英行・村主崇行|共訳

オーム社,2012.5

401p;21cm

2,800円

978-4-274-06885-0

関数型プログラミング

007.64

という物が、その正体だった。
英語版はWEBで無料で読むことができます。(http://learnyouahaskell.com/chapters)
出版取次に在庫があるという事で、数日で入手できそうだったので早速注文した。

インストール

本が届くまで、取り敢えず環境を整えておくことにした。Windows10上で動作するLinuxサブシステムであるWSLで始める事にした。

続きを読む "”すごいHaskellたのしく学ぼう！”でHaskellを始めてみようと思います"

chkconfigできない…。debianでサービスの自動起動を設定する

現在の自動起動の状態を調べる

sudo systemctl list-unit-files | grep サービス名
sudo systemctl is-enabled サービス名.service

サービスの自動起動を解除する

sudo update-rc.d サービス名 disable
sudo update-rc.d -f サービス名 remove (リンク削除)
sudo systemctl disable サービス名.service

サービスの自動起動を設定する

sudo update-rc.d サービス名 enable
sudo update-rc.d サービス名 defaults (リンク作成)
sudo systemctl enable サービス名.service

サービスを手動で開始する

sudo service サービス名 start
systemctl start サービス名.service

サービスを手動で停止する

sudo service サービス名 stop
systemctl stop サービス名.service

サービスの状態を調べる

sudo service サービス名 status
systemctl status サービス名.service

サービスを再起動する

sudo service サービス名 restart
systemctl restart サービス名.restart

update-rc.dからinsservコマンドに移行しつつあるらしい。

私の環境ではinsservコマンドは未インストールでupdate-rc.dが動いていたので、しばらくはupdate-rc.dコマンドを使おうと思う。

続きを読む "chkconfigできない…。debianでサービスの自動起動を設定する"