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
Similar presentations:
Functional Program
Functional Program
Programming and Programs (сhapters 1 & 2)
Programming and Programs (сhapters 1 & 2)
Software Engineering I. UML Lecture
Software Engineering I. UML Lecture
Composition & Unit testing with MS test
Composition & Unit testing with MS test
Mathematical functions, characters, and strings. Introduction to Java Programming
Mathematical functions, characters, and strings. Introduction to Java Programming
Set Theory
Set Theory
Programming languages
Programming languages
C++ Network Programming Systematic Reuse with ACE & Frameworks
C++ Network Programming Systematic Reuse with ACE & Frameworks
Programming languages
Programming languages
Programming ASP
Programming ASP

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