An Introduction to Haskell

Transcript

1. An Introduction to Haskell Joe Wang
2. Content History Overview Features by example
3. Alonzo Church(1930s) Lambda calculus Robin Milner(1973) Meta-Language(ML) John McCarthy(1958) Lisp Simon Peyton Jones (1990) Haskell 1.0 History
4. September 12, 1900 – September 1, 1982, American Both `Haskell` and `Curry` is named after his name Devoted all his life to Combinatorial Logic Haskell Brook Curry
5. Overview
6. Overview
7. Overview A “hello world” example
8. Feature Pure Function Lazy Evaluation Pattern Matching Monad Powerful Type system More
9. Feature Function && Lambda
10. Feature Function Composition
11. Feature Recursion && Laziness
12. Feature Pattern Matching && Guard
13. Feature Monad What is monad? A monad is just a monoid in the category of endofunctors
14. Feature Monad WTF！！！
15. Feature Monad
16. Feature Monad
17. Summary Haskell is an elegant Language High-level abstraction All we care is the composition of functions and types Lack of learning resources, especially in China Hard to find a work in realworld
18. The End