Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Speaker Deck
PRO
Sign in
Sign up
for free
Haskell Introduction
mina
July 14, 2018
Technology
0
19
Haskell Introduction
プログラミング言語のHaskellの紹介スライドです。
JOI2017夏季セミナーで作った資料な気がします。
mina
July 14, 2018
Tweet
Share
More Decks by mina
See All by mina
silmin_
1
52
silmin_
0
46
silmin_
1
33
silmin_
0
24
silmin_
0
10
Other Decks in Technology
See All in Technology
fujiihda
8
1.1k
kekeke_47
0
410
viva_tweet_x
5
2.7k
ocise
0
160
helayoty
0
140
clustervr
0
170
hirosys
0
150
sylk
0
130
kanaugust
PRO
0
180
kawaguti
0
120
kraj
0
5.4k
oracle4engineer
0
2.7k
Featured
See All Featured
jonyablonski
14
1.1k
ddemaree
274
31k
reverentgeek
27
1.9k
paulrobertlloyd
71
1.4k
dotmariusz
94
5.1k
tanoku
258
24k
michaelherold
225
8.5k
bryan
30
3.3k
cherdarchuk
71
260k
tanoku
86
8.5k
jasonvnalue
82
8.1k
lara
590
61k
Transcript
Haskell Introduction mina @silmin_
はじめに 「純粋関数型データ構造」という本で純粋関数型(ryを学んだ () これは ➢ 参照透過性 ➢ 永続性 ➢ 副作用のNASA
➢ なんでも関数 ➢ 簡潔かつ混沌() などが特徴(らしい) 今回はHaskellで実装した
Haskell とは 芸術
型宣言 Haskellは美しい data Color = Red | Blue | Yellow
toJpn :: Color -> String toJpn Red = “aka” toJpn Blue = “ao” toJpn Yellow = “ki” main = print $ toJpn Red パターンマッチ 関数実行 & 出力 enum Color { Red, Blue, Yellow };
関数のいろいろ 関数名 引数1 引数2.......で呼び出し temp a b -> a `temp` b とも書ける (
1 + ) , ( 5 * ) : 一引数関数 ( 1 + ) . ( 5 * ) : 関数合成 ( 5倍して1足す関数) f x y = print $ gcd x y f x = print . gcd x f = (print .) . gcd
実行してみる 関数合成
二分探索木(木の定義) data Tree a = Leaf | Node (Tree a)
a (Tree a) Leaf - 末端ノードの先にいる 実質虚無 末 Node - ただのノード 子を持ってる a ... ... 葉 葉
二分探索木(search関数) search::Ord a => Tree a -> a -> Bool
search Leaf b = False search (Node tl a tr) b = if b < a then search tl b else if b > a then search tr b else True 型宣言 パターンマッチ
最後に 興味を持った方は「Haskell Platform」で検索 ※UNIX / Mac の方はパッケージがあるのでinstallしましょう Haskellには光と闇が存在します
Haskell とは 芸術
Thank you for listening !!!