了解一个领域的秘密对我有很大帮助，特别是因为它使我能够与比我了解更多的人进行明智的对话，因此我想找到一个很好的函数式编程术语词典。
例如，我反复遇到以下这些：Functor，Arrow，Category，Kleisli，Monad，Monoid，名副其实的Morphisms动物园等。我还注意到其中许多都带有前缀，例如“协变”，“ co-”，“ endo- ”等
其中，我可以说我实际上了解Monoid和Covariant以及获得Monad的知识，但其余的对我来说仍然很混乱。 （请注意，我并不是说这份清单是详尽无遗的，我不是想在这里为我定义或描述这些清单，而是在寻找学习资源。）
有人可以将我指向FP词典吗？只要可以找到它，它就不必在线（并且这不是稀有的书，我必须为此付出数十美元）。
最佳答案
正如其他答案所指出的那样，要真正理解这些术语，您必须学习类别理论。但是，类别理论是非常抽象的，可能无法帮助您立即建立直觉。要了解实际的抽象概念，我强烈建议您使用Typeclassopedia（PDF）（blog announcement）。
关于functional-programming - 寻求功能编程词典，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/2702720/