1. Haskell講義 (1)
yingtai

2. 自己紹介
• yingtai (@__int)
• 67th

3. 今回やること
• Haskell の学習
• すごいH本を読み進める
• スライドは冒頭のみです

4. 目標
• 初心者にもわかるHaskell (希望)
• プログラマならわかるHaskell (保証)
• モナドを使いこなす

5. 1. Introduction

6. 純粋関数型?
Haskell 命令的言語
状態 ない ある
書くこと 何であるか 何をするか

7. 命令
• 矢印方向の時系列
• 変数 x に再代入
• → x が変化
• 状態がある！

8. Haskellでは
• x = 5 は代入ではなく宣言
• 数学と同じです

9. 遅延評価
• 「必要になるまで」関数を実行しない
• lazy (怠け者)
• → 無限リストとか

10. 静的型付け
• 変数がどの型かコンパイル時に決定

11. 型推論
• (基本的に) 型を書かなくてもいい！
• a = 5 + 4 → a :: Int

12. でもって
• エレガントで簡潔
• Haskell 最高∼ ✌('ω')

13. GHC
• もう入れてますよね?
• 講義では基本的に GHCi を使います
• 起動してみましょう