1

関数型言語 Haskell 入門

関西関数型道場 #01

2014.09.06

@florets1

An introduction to Haskell for beginners

2

自己紹介

@florets1

好きな言語： SQL

SQL でレコメンダー作ってみたよ

という論文を最近書きました。

お仕事：情シス

Haskell 勉強中です。

About me.

3

宣伝Information

4

宣伝Information

5

ストーリーStory

関数型プログラミングとは

Haskell の基本的な使い方

高階関数の魅力

6

関数型プログラミングとはWhat is functional programming?

関数型プログラミングとそうでないプログラミングにはどんな違いがあるのでしょうか。

手続き型プログラミングと比較してみます。

7

手続き的なプログラミングProcedural programming

1 から n までの合計を求めるコード

8

ループがない！

変数 i は？ answer どこ？

慣れると読みやすい

関数型プログラミングFunctional programming

1 から n までの合計を求めるコード

9

Haskell の基本的な使い方Haskell tutorial

関数

リスト

型

パターンマッチ

10

関数を呼び出すCall functions

関数を真ん中に置ける数学っぽいね

11

関数を定義するDefine a function

簡単だ！安心した

12

リストというデータ構造Lists

わかる

13

文字列は文字のリストStrings are just lists of characters.

Oh simple!

14

こんなリストはだめLists are a homogenous data structure.

同じでないとだめなのかPython のリストとは違うんだ

15

リストを連結するPutting two lists together

リストどうしを連結する

リストの先頭に要素を連結する

16

リスト操作いろいろSome basic functions that operate on lists

17

型宣言を明示的にAn explicit type declaration

18

head 関数の型はこうなってるThe type of the head function

a は任意の型だよ

19

パターンマッチ

階乗を求めるプログラム

Pattern matching

20

sum と product は似ているCommon structure of functions

同じ形だ

21

高階関数の魅力

コードを共通化できるねコードの意図がわかりやすい

Higher order functions: really powerful way of programming

関数の引数に関数を渡したり、返り値に関数を返したりできます

22

参考文献Bibliography

Graham Hutton 著，山本和彦訳　「プログラミング Haskell 」

Miran Lipovaca 著，田中英行・村主崇行訳　「すごい Haskell たのしく学ぼう」

23

宣伝Information

24

宣伝Information

25

宣伝Information

26

宣伝Information