Category theory, composition & functional programming
Introduction
THIS IS NOT A LECTURE
Lets inquire and discover together!
What is programming?
OOP point of view Class diagram
OOP point of view Sequence diagram
FP point of view
FP point of view
What is similar between those POVs?
Composition
Programming is Composition
Is there any science which is focused on composition?
Yes, it is Category Theory
Why to study CT?
Why to study CT?
Why to study CT?
Why to study CT for software engineer?
What is a Category?
Category is:
Associativity of composition What?
Associativity of composition What?
Associativity of composition Why?
Identity Arrow What?
Identity Arrow What?
Identity Arrow Why?
Examples
Category 3
Category 1
Category 0
Integer Category
String Category
Monoids Set-theoretic approach
Monoids Category-theoretic approach
Monoids Category-theoretic approach
Set Category
Hask Category
Functions
Functions in categories: Functors
Functors: preserving composition
Functors: preserving identities
Functors: in brief
Conclusions and some further thoughts
Acknowledgements
Acknowledgements
Acknowledgements
Q&A
10.02M
Category: programmingprogramming

Category theory, composition & functional programming

1. Category theory, composition & functional programming

2. Introduction

3. THIS IS NOT A LECTURE

4. Lets inquire and discover together!

5. What is programming?

6. OOP point of view Class diagram

7. OOP point of view Sequence diagram

8. FP point of view

9. FP point of view

10. What is similar between those POVs?

11. Composition

12. Programming is Composition

13. Is there any science which is focused on composition?

14. Yes, it is Category Theory

15. Why to study CT?

16.

Source: http://rs.io/why-category-theory-matters/

17. Why to study CT?

18. Why to study CT?

programming

19. Why to study CT for software engineer?

20. What is a Category?

21.

22. Category is:

23. Associativity of composition What?

24. Associativity of composition What?

25. Associativity of composition Why?

26. Identity Arrow What?

27.

English     Русский Rules