什么是反应函数式编程中的指称语义和类型类型态射？

Question

何时阅读功能反应式编程@ https://stackoverflow.com/a/1030631/524723

的答案

有些术语对我来说似乎很难理解

它们是Denotational Semantics和Type Class Morphism

我已阅读以下资源

1. https://en.wikipedia.org/wiki/Denotational_semantics
2. http://conal.net/papers/type-class-morphisms/
3. http://conal.net/papers/push-pull-frp/

我来自JavaScript背景，我正在使用redux和rxjs来实现Reactive功能范例。

但Type class morphisms之类的条款以及monoids, functors, applicative functors, monads, morphisms, and improving values等＃3链接的某些条款对我来说完全是新手。

这些与反应性功能编程真的相关吗？

请使用JavaScript示例解释这些条款