Functional Programming with examples

Transcript

1. functional programming with examples 1
2. 2 Lambda Calculus (1930) LISP (1958) ML (1973) John Backus Paper (1978) Haskell (1990) SICP (1985) Clojure (2007) Idris (2012)
4. pure functions 4
5. immutability 5 >>> a = [1, 2, 3, 4] >>> a.append(5) >>> a [1, 2, 3, 4, 5] >>> from pyrsistent import pvector >>> a = pvector([1, 2, 3, 4]) >>> a.append(5) pvector([1, 2, 3, 4, 5]) >>> a pvector([1, 2, 3, 4])
6. immutability 6 list plist access O(1) O(log32 n) -> Na prática O(1) append O(1) O(log32 n) -> Na prática O(1)
7. immutability 7
8. currying 8
9. closures 9
10. partial application 10
11. partial application 11
12. partial application 12
13. partial application 13
14. lazy evaluation 14
15. lazy evaluation 15
16. higher-order functions 16
17. higher-order functions 17
18. higher-order functions 18
19. higher-order functions 19
20. recursion 20
21. function composition 21
22. function composition 22
23. pattern matching 23
24. DISCLAIMER Strange stuff ahead! 24
25. algebraic data types (ADT) - product types 25
26. algebraic data types (ADT) - sum types 26
27. algebraic data types (ADT) - sum types 27
28. “A typeclass is a sort of interface that defines some behavior. If a type is a part of a typeclass, that means that it supports and implements the behavior the typeclass describes.” Learn You a Haskell for Great Good! type classes 28
29. type classes 29
30. type classes - functor 30
31. type classes - applicatives and monads http://www.adit.io/posts/2013-04-17-functors,_applicatives,_ and_monads_in_pictures.html 31
32. where to learn more? 32 • https://purelyfunctional.tv/article/ • https://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp9 0.pdf • https://www.amazon.com/dp/1617291412/ref=cm_sw_r_cp_ep_dp _TIbkAbAM04EN7 • https://lispcast.com/category/writing/ • https://www.youtube.com/user/DrBartosz/playlists