Haskell Introduction

プログラミング言語のHaskellの紹介スライドです。

JOI2017夏季セミナーで作った資料な気がします。

Transcript

1. Haskell Introduction
   mina @silmin_
   

   View Slide

2. はじめに
   「純粋関数型データ構造」という本で純粋関数型（ｒｙを学んだ
   ()
   これは
   ➢ 参照透過性
   ➢ 永続性
   ➢ 副作用のNASA
   ➢ なんでも関数
   ➢ 簡潔かつ混沌()
   などが特徴(らしい)
   今回はHaskellで実装した
   

   View Slide

3. Haskell とは
   芸術
   

   View Slide

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
   };
   

   View Slide

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
   

   View Slide

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

   View Slide

7. 二分探索木（木の定義）
   data Tree a = Leaf | Node (Tree a) a (Tree a)
   Leaf - 末端ノードの先にいる
   　　 実質虚無
   末
   　Node - ただのノード
   子を持ってる
   a
   ...
   ...
   葉 葉
   

   View Slide

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
   型宣言
   パターンマッチ
   

   View Slide

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

   View Slide

10. Haskell とは
    芸術
    

    View Slide

11. Thank you for listening !!!
    

    View Slide