Successfully reported this slideshow.
Upcoming SlideShare
×

# Introduction to Haskell@Open Source Conference 2007 Hokkaido

2,703 views

Published on

• Full Name
Comment goes here.

Are you sure you want to Yes No
• Be the first to comment

### Introduction to Haskell@Open Source Conference 2007 Hokkaido

2. 2. 2
3. 3. 3
4. 4. 3
5. 5. 3
6. 6. 4
7. 7. 4
8. 8. 5
9. 9. 5
10. 10. 5
11. 11. Practice 6
12. 12. 7
13. 13. 8
14. 14. 9
15. 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. 16. x:=1; x++; take 2 [1..] --→ [1, 2] 11
17. 17. Simple Clean Smart 12
18. 18. 13
19. 19. 14
20. 20. 14
21. 21. 15
22. 22. F=ma 2 N = kg m/s 16
23. 23. 17
24. 24. 18
25. 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. 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. 27. 21
28. 28. 22
29. 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. 30. 24
31. 31. 7.1.2 Bluespec tools for design of complex chips bluespec http://www.bluespec.com/ / Haskell (85K ) 25
32. 32. 7.1.3 Galois, Inc. Haskell Domain-Specific 26
33. 33. Microsoft Research British Airways IBM .Net Framework 27
34. 34. 28
35. 35. 29
36. 36. 30
37. 37. 30
38. 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. 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. 40. 32
41. 41. 33
42. 42. http://tinyurl.com/2wv7oa 34
43. 43. http://tinyurl.com/2wv7oa 35
44. 44. 36