When am reading the answer for Functional Reactive Programming @ https://stackoverflow.com/a/1030631/524723
Some of the terms seems weird to me to get understand
They are Denotational Semantics and Type Class Morphism
I have read few resource as below
- https://en.wikipedia.org/wiki/Denotational_semantics
- http://conal.net/papers/type-class-morphisms/
- http://conal.net/papers/push-pull-frp/
I am from JavaScript background and i am using redux and rxjs for achieving Reactive functional paradigm.
But Terms like Type class morphisms
and some of the terms with #3 link like monoids, functors, applicative functors, monads, morphisms, and improving values
are completely novice to me.
Are these really related to Reactive functional programming?
Please explain with JavaScript sample for those terms