A brief introduction to Haskell. The purpose of the presentation is "Read Hutton's Haskell book to learn Haskell".

1. ikegami@madscientist.jp
1

2. 2

3. 3

4. 3

5. 3

6. 4

7. 4

8. 5

9. 5

10. 5

11. Practice
6

12. 7

13. 8

14. 9

15. 2
Haskell Brooks Curry (September 12, 1900,
Millis, Massachusetts – September 1, 1982,
State College, Pennsylvania) was an
American mathematician and logician.
from en.Wikipedia.org
10

16. x:=1; x++;
take 2 [1..] --→ [1, 2]
11

17. Simple
Clean
Smart
12

18. 13

19. 14

20. 14

21. 15

22. F=ma
2
N = kg m/s
16

23. 17

24. 18

25. (= )
sum [1, 2, 3]
sum [] = 0
= { applying sum }
sum (x : xs) = x + sum xs
1 + (sum [2, 3])
= { applying sum }
ϕ
sum =0 1 + (2 + sum [3])
= { applying sum }
1 + (2 + (3 + sum []))
sum x
xs = { applying sum }
1 + (2 + (3 + 0))
= x + sum xs
=6
19

26. (= )
qsort [3, 5, 1]
qsort [] = [] = { applying qsort }
qsort (x : xs) qsort [1] ++ [3] ++ qsort [5]
= qsort smaller = { applying qsort }
++ [x] (qsort [] ++ [1] ++ qsort [])
++ qsort larger ++ [3] ++
where (qsort [] + [5] ++ qsort [])
smaller = [y | y <- xs, y <= x] = { applying qsort }
larger = [z | z <- xs, z > x] ([] ++ [1] ++ [])
++ [3] ++
[y | y <- xs, y <= x] ([] ++ [5] ++ [])
[y | y xs, y x] = { applying ++, often }
[1, 3, 5]
20

27. 21

28. 22

29. Haskell Communities and Activities Report
Twelfth edition – May 30, 2007
Andres Lӧf (ed.) 90
1. General
2. Implementations
3. Language
4. Libraries
5. Tools
82
6. Applications
A4
7. Users
http://www.haskell.org/communities/
23

30. 24

31. 7.1.2 Bluespec tools for design of
complex chips
bluespec http://www.bluespec.com/
/
Haskell (85K )
25

32. 7.1.3 Galois, Inc.
Haskell
Domain-Specific
26

33. Microsoft Research
British Airways
IBM
.Net Framework
27

34. 28

35. 29

36. 30

37. 30

38. http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248215/
http://tinyurl.com/2c9pxq
http://www.sampou.org/cgi-bin/haskell.cgi
http://tinyurl.com/yrhozj
31

39. http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248215/
http://tinyurl.com/2c9pxq
http://www.sampou.org/cgi-bin/haskell.cgi
http://tinyurl.com/yrhozj
31

40. 32

41. 33

42. http://tinyurl.com/2wv7oa
34

43. http://tinyurl.com/2wv7oa
35

44. 36