http://codinghelmet.com/articles/what-makes-functional-and-object-oriented-programming-equal
Comparison of 4 Functional Programming (FP : F#, Lisp/Clojure Haskell, Scala,… ) concepts in Object-Oriented (OO: C#, C++, Java,… ) :
[Not covered here] : There are other FP techniques lacking in OO: Functor (FoldMap), Monad, etc.
1. Function:
2. Closure (variable binding)
3. Currying
4. Function Composition
…
…Conclusion:
Advanced Programming needs Advanced Math: eg.
Video Game Animation: Verlet Integration
AI: Stats, Probability, Calculus, Linear Algebra
Search Engine : PageRank: Linear Algebra
Abstraction in Program “Polymorphism” : Monoid, Category, Functor, Monad
Program “Proof” : Propositions as Types, HoTT
https://awalterschulze.github.io/blog/post/neglecting-math-at-university/
Abstraction: Monoid, Category
Category
Functional Programming has the following key styles:
1) Lambda function:
2) Map, Filter, Reduce
Since April 2019 until I re-visit this Youtube video on 12 August 2019, I can now totally understand his speech after a pause of 4 months by viewing other related Youtube (below prerequisite) videos on Category Theory, Type Theory, Homotopy Type Theory.
That is the technique of self-study:
- First go through the whole video,
- Don’t understand? view other related simpler videos.
- Repeat 1.
Prerequisite knowledge:
Two Key Takeaway Points:
…
…
…
https://dev.to/juaneto/knowing-monads-through-the-category-theory-1mea
While Mathematicians like to talk non-sensical abstract idea, Informaticians want to know how to apply the idea concretely:
Mathematical Parlance:
Monad = Monoid +Endofunctor
Monoid = Identity + Associative
Endo-functor = functor between 2 same categories
IT Parlance:
Monad is a ‘function’ to wrap the ‘side effects’ (exception errors, I/O,… ) so that function composition in ‘pipeline‘ chained operation sequence is still possible in pure FP (Functional Programming, which forbids side-effects).
Some common Monads: ‘Maybe’, ‘List’, ‘Reader’…
This allows monads to simplify a wide range of problems, like handling potential undefined values (with the Maybe monad), or keeping values within a flexible, well-formed list (using the List monad). With a monad, a programmer can turn a complicated sequence of functions into a succinct pipeline that abstracts away additional data management, control flow, or side-effects.[2][3]
Exploring Monads in Scala Collections
