とびだせHaskellの森１

とびだせ
Haskellの森
第一章はじめの第一歩

自己紹介

• 島崎抄子@shokos
• アメーバ事業本部
• 2012/11入社

ghci

• REPL
• 関数の実行や定義ができる
• :q で終了
• :l で.hsファイル読み込み

ghci例１

• Prelude> 2 + 15

• Prelude>
succ 4
succはインクリメントする関数

• Prelude>
min 4 5
minは比較して小を返す関数

ghci例２

• Prelude> div 10 3
• Prelude> 10 `div` 2
バッククオートで囲むと中置関数にな
る！

ghci例３

• Prelude>
succ 9 + max 5 4 + 1
結合の優先度はsucc, max > +

.hsファイル作成

• エディタを開いて下記を写経
• baby.hsで保存
doubleMe x = x + x
doubleUs x y = x * 2 + y * 2

.hsファイル実行

• Prelude> :l baby.hs
• *Main> doubleMe 3
• *Main> doubleUs 4 6

リスト1

• Prelude> let hoge = [1,2,3]
• Prelude> hoge ++ [4,5,6]
++ はリストの結合

• Prelude>
aiu ++ eo
文字列はcharのリスト

リスト２

• Prelude> 2 : [1,2,3]
• Prelude> a : hoge
:は先頭に結合する

リスト操作１
• Prelude> [1,2,3] !! 2
• Prelude> head [1,2,3]
• Prelude> tail [1,2,3]
• Prelude> init [1,2,3]
• Prelude> last [1,2,3]

リスト操作２
• Prelude> null [1,2,3]
• Prelude> null []
• Prelude> sum [1,2,3]
• Prelude> elem 4 [1,2,3,4]
• Prelude> 5 `elem` [1,2,3,4]

レンジ１

• 列挙できるリスト
• Prelude> [1..20]
• Prelude> [ a .. t ]
• Prelude> [2,4..18]

レンジ２

• Prelude> take 5 [1, 3..]
• Prelude> take 6 (repeat 2)
無限リストの操作ができる！

リスト内包表記１

• Prelude> [x*2 ¦ x <- [1..10]]
• Prelude> [x*2 ¦ x <- [1..10], x*2 >= 12]
[出力¦条件]

リスト内包表記２

• 18の約数を求めたい
• Prelude> [x ¦ x <- [1..18], 18 `mod` x == 0]

タプル１

• 複数の違う型を格納できる
• Prelude> (1, hoge , 5.3)
• Prelude> (2, 3)
• Prelude> (2, [ hoge , foo ])

タプル２

• ペアで使うのが一般的
• Prelude> fst (1, 2)
• Prelude> snd (1, 2)

zip

• ２つのリストをペアタプルにする
• Prelude> zip [1,2,3] [ a , i , u ]
• Prelude> zip [1..] [ hoge , foo ]

Recomendados