Haskell Introduction

Transcript

1. Haskell Introduction mina @silmin_

2. はじめに 「純粋関数型データ構造」という本で純粋関数型（ｒｙを学んだ () これは ➢ 参照透過性 ➢ 永続性 ➢ 副作用のNASA

   ➢ なんでも関数 ➢ 簡潔かつ混沌() などが特徴(らしい) 今回はHaskellで実装した

3. Haskell とは 芸術

4. 型宣言 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 };

5. 関数のいろいろ 関数名　引数１　引数２.......で呼び出し 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

6. 実行してみる 関数合成

7. 二分探索木（木の定義） data Tree a = Leaf | Node (Tree a)

   a (Tree a) Leaf - 末端ノードの先にいる 　　 実質虚無 末 　Node - ただのノード 子を持ってる a ... ... 葉 葉

8. 二分探索木（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 型宣言 パターンマッチ

9. 最後に 興味を持った方は「Haskell Platform」で検索　 ※UNIX / Mac の方はパッケージがあるのでinstallしましょう Haskellには光と闇が存在します

10. Haskell とは 芸術

11. Thank you for listening !!!