Why I care about Haskell

Having worked in an environment where Java was predominant, bringing Functional Programming - in Haskell - into the table is not that simple. I went on giving a presentation explaining my motives and hopefully answering some sensible scepticism.

Transcript

1. Why I care about Nuno Alexandre nunoalexandre.com
3. Overview 1. Premise 2. Why Haskell 3. From OOP to FP 4. Haskell Goodies 5. Wrap up 6. Q & A
4. To Digest
5. Why Haskell • functional thinking • mathematical based • a great type system • beautiful code • features 20 years ahead • rigorous & constrained • challenging
6. From OOP to FP • Objects vs Functions • A matter of granularity
7. From OOP to FP
8. From OOP to FP • OO starts low and abstracts as necessary PeopleGroup Group<Ageable> *BaseClass PersonUtils
9. From OOP to FP • In FP abstraction is the starting point • Reusable • Decoupled • Composition
10. First Look
11. Haskell Goodies • Purely functional • Laziness • Pattern Matching • Lambdas & Currying
12. Purely Functional • Immutability • Purity • Explicit side-effects through Monads
13. Purely Functional Immutability
14. Purely Functional Purity
 • same result for same arguments • no side-effects • referential transparency
15. Purely Functional Explicit side-effects through Monads http://nunoalexandre.com/2016/10/13/the-monad-pattern
16. Laziness • Idle until necessary otherwise • Declarative thinking
17. Pattern Matching • http://nunoalexandre.com/2016/11/17/the-joy-of-pattern-matching
18. Pattern Matching • On custom types
19. Pattern Matching • On lists
20. Pattern Matching • On polymorphism
21. Pattern Matching • On binding
22. Lambdas • anonymous & Turing-complete http://nunoalexandre.com/2016/09/16/love-the-lambda
23. Currying • beautiful partial applications http://nunoalexandre.com/2016/09/13/a-taste-of-curry-an-apologetic
24. Drawbacks • Space complexity is hard to debug • Not such great tooling • Memory consumption • Hard to learn independently
25. Conclusion • Languages are not just tools • Think different • Purity is beauty • Scientific certainty
26. Advanced Topics • Monads & Monads Transformers • Functors, Applicative Functors and Monoids • Category Theory
28. Q & A